ARM Port of L4/Linux?

David Krause dave at krausecentral.com
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