Hi Gerald,
Anything you'd like to add or tweak?
No, it is fine thanks.
(Is "stormy" fine as an anchor, or should we go for "xstormy" or the full "xstormy16"? I used what we have for the port itself...)
I like the full "xstormy16" as well. I think that the fact that the gcc backend sources are in a directory called "stormy16" is just a historical curiosity...
Cheers Nick