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