ARM Port of L4/Linux?

David Krause dave at
Sat May 29 23:59:42 CEST 2004

As far as I can tell, L4/Linux only runs on x86.  

Is there an ARM port in existence, or in progress that 
a kind soul on this list could point me to?

Thanks in advance,
-- Dave

More information about the l4-hackers mailing list