Screen Version

School of Computer Science & Engineering
University of New South Wales
 Advanced Operating Systems 
 COMP9242 2002/S2 

L4 Implementations

• ix86:
  • Liedtke's kernel, 100
  • Hohmut, Dresden, called Fiasco, C++, Version 2
  • 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
  • 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
  • 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)

.