Menu
Submit Site
Home
Computer
Software
SourceForge: L4Ka Microkernel
SourceForge: L4Ka Microkernel
All Links
Website
Share this:
Details of SourceForge: L4Ka Microkernel
About SourceForge: L4Ka Microkernel
SourceForge: L4Ka Microkernel- The L4Ka microkernel is an L4 compatible kernel running on many platforms: ARM; MIPS; 68k, PPC; x86. A port of Linux atop an L4Ka microkernel exists.
Quality of Service
Send feedback
submit