Web Directory

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

 

L4 Microkernel

  Link Details for: L4 Microkernel
Link Title: L4 Microkernel Open in a new window
Link URL: http://www.cse.unsw.edu.au/~disy/L4/
Link Details: L4/MIPS: stable L4 for MIPS R4x00 processor, may be fastest kernel for this architecture. L4/Alpha: begun at Technical University of Dresden, SMP version released. Linux ports: L4/MIPS, L4/Alpha underway.
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:
L4 Microkernel