SourceForge: L4Ka Microkernel



All Links

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.