L4 Implementations

ix86:
- Liedtke's kernel, 100
- Hohmut, Dresden, called Fiasco, C++, Version 2 $\epsilon$
- Dannowski, L4Ka ``hazelnut'' kernel, C++, Version X
- L4Ka Team ``pistachio'' kernel, C++, portable, Version X.2
MIPS R4x00:
- Elphinstone, UNSW, 64-bit, assembler&C, Version 2 $\epsilon$
- Calypso kernel by Chris Szmajda (VM management)
- UNSW pistachio port (Potts & Winwood), in progress
Alpha:
- Schönberg (Dresden), 96, 64-bit, PALcode&C (rudimentary)
- Potts, Winwood (UNSW), completed, SMP, Version 2 $\epsilon$
- UNSW pistachio port (Potts & Winwood), in progress
StrongARM:
- L4Ka hazelnut kernel
PowerPC:pistachio (LeVasser, Karlsruhe), partially complete
IA-64: pistachio (Skoglund, Karlsruhe), partially complete
SPARC: planned (UNSW)

Gernot Heiser 2002-08-07