The L4 µ-Kernel Family

Implementations of the L4 µ-Kernel interface

(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.