Web Directory

    Top: Computers: Software: Operating_Systems: Realtime: L4:

 

SourceForge: L4Ka Microkernel

  Link Details for: SourceForge: L4Ka Microkernel
Link Title: SourceForge: L4Ka Microkernel Open in a new window
Link URL: http://sourceforge.net/projects/l4ka/
Link Details: 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.
Category: Top : Computers : Software : Operating_Systems : Realtime : L4
Link Type: Lock this listing - So it can't be removedLock this listing - and upgrade it to FeaturedReport this listingAdd a regular link to the same category
ScreenShot:
SourceForge: L4Ka Microkernel