> If there is anyone here (I know there must be!) who
> has done a port, could you email me and perhaps
> share some war stories and perhaps advice on
> the best way to go about the job... and some
> idea of the magnitude of the effort so I can
> make an honest evaluation whether I have the
> resources to do it?
One of these guys who did a port has put his experiences on a web page.
You might check http://www.inf.tu-dresden.de/~mh1/prj/linux-on-l4/.
He also put together a documentation of Linux Architecture-Specific Kernel
Interfaces which have to be implemented for each port (in addition to the
device drivers).
Cheers,
Jochen