Dear all,

since we are on the virge of splitting off RiscPC/A7000/NC code from the
now defunct arm32 I am proposing the following :
 - we get a new name for the port :)
 - I copy the current arm32 tree, rename it (i.e. make it compile again)
 - I import/commit the new port name
 - everyone STOPS working on the arm32 tree but starts working on the new
   branch
 - we delete stuff from DNARD etc
 - we merge RiscPC/A7000/NC into *one* kernel using a machine discriptor
   structure with #defines or preferable seperate files to allow small
   kernels
 - ...

Ideas for the port name include `acorn', `acornriscpc', `armriscpc',
`riscpcarm', `riscpc' , ....

The name `arch/archimedes' and `arch/imedes' are allready reserved!! :)

Cheers,
Reinoud