29 May
2004
29 May
'04
11:59 p.m.
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