ARM Port of L4/Linux?

[Yann Dirson]

Hi Dave,

You'll find more info about L4 for various archs on
http://os.inf.tu-dresden.de/L4/impl.html

L4Ka::Pistachio is also told to work on ARM, but not the 0.3 release AFAIK -
see http://l4hq.org/arch/arm/

HTH,
-- 
Yann Dirson    <ydirson at altern.org> |    Why make M$-Bill richer & richer ?
Debian-related: <dirson at debian.org> |   Support Debian GNU/Linux:
Pro:    <yann.dirson at fr.alcove.com> |  Freedom, Power, Stability, Gratuity
     http://ydirson.free.fr/        | Check <http://www.debian.org/>