[back to L4 home page]
 

The L4 µ-Kernel Family

L4KA

Fiasco

L4/x86

L3, a predecessor of L4/x86


Site Navigation:

(* = offsite link)

Quick links:

Implementations of the L4 µ-Kernel interface

The implementation names are links to the implementations' home pages where you can find documentation and further information about that L4 implementation.

(In approximately reverse-chronological order of release; active projects printed in bold)

Name CPU Implementation language License Main author / Maintainer Organization
Pistachio Pentium or better, IA64, PowerPC, Alpha, 64-bit MIPS C++ BSD license L4KA team L4KA at Uni KA and UNSW
Fiasco.OC x86-32, x86-64, ARM, Linux (user-mode L4 emulation) C++ GPL or commercial Team Fiasco TU Dresden
Fiasco*1 x86-32, x86-64, ARM, Linux (user-mode L4 emulation) C++ GPL or commercial Team Fiasco TU Dresden
P4 x86, MIPS, PowerPC, ARM C commercial Robert Kaiser Sysgo AG
OKL4 x86, MIPS, ARM C++ BSD or commercial OK Labs OK Labs
L4 for PowerPC PowerPC 603e C Not yet available Mike Bennett Univ. of York
Hazelnut *1 Pentium or better, StrongARM C++ GPL or commercial L4KA team L4KA at Uni KA
L4/MIPS *1 MIPS R4x00 C GPL Kevin Elphinstone / Gernot Heiser UNSW
L4/Alpha *1 Alpha AXP 21264 Assembly language GPL Sebastian Schönberg / Daniel Potts / Simon Winwood TU Dresden, UNSW
L4/x86 (aka. Lava Nucleus, aka Lemon Pip) *1 i486 or better Assembly language *2 Jochen Liedtke GMD, IBM Watson, Uni KA

Notes:

*1
Development has been discontinued
*2
Old version available from GMD under a non-commercial license. Newer versions currently not available publicly.


Last modified: Sun Jul 4 18:39:29 2010


Operating Systems Group