Browse Categories
Arts
Business
Computers
Games
Health
Home
Kids and Teens
News
Recreation
Reference
Regional
Science
Shopping
Society
Sports
About Nomoz
Contact Us
Options:
Directory
Entire Web
Top
:
Computers
:
Software
:
Operating_Systems
:
Realtime
:
L4
:
L4 Microkernel
Link Details for:
L4 Microkernel
Link Title:
L4 Microkernel
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:
ScreenShot: