Menu
Submit Site
Home
Computer
Software
L4 Microkernel
L4 Microkernel
All Links
Website
Share this:
Details of L4 Microkernel
About L4 Microkernel
L4 Microkernel- 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.
Quality of Service
Send feedback
submit