j
k
j a
j l
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
Show replies by date
l4-hackers@os.inf.tu-dresden.de
Add to favorites Remove from favorites