L4 Microkernel



All Links

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.