In article <200104062300.f36N08A02045@buzzard.freeserve.co.uk> you write:
>> Ideas for the port name include `acorn', `acornriscpc', `armriscpc',
>> `riscpcarm', `riscpc' , ....
>> 
>> The name `arch/archimedes' and `arch/imedes' are allready reserved!! :)
>
>I'd go for acorn32 (since all these machines are basically Acorn-derived 
>and use chips that support 32-bit mode).  Also, it avoids calling the 
>A7000 and NC machines a riscpc, which they aren't really.

Hmm.  Actually, I think that's the least-bad name I've seen suggested.  It's
not very pretty, but it's short, descriptive, unambiguous and has some kind
of continuity with "arm32".

Anyone have any actual objection to it?

-- 
Ben Harris                                                   <bjh21@netbsd.org>
Portmaster, NetBSD/arm26               <URL:http://www.netbsd.org/Ports/arm26/>