Kernel Projects

• Kernel Implementations
  • L4Ka::Pistachio
  • Fiasco
  • OKL4
  • NICTA::Pistachio-embedded discontinued
  • L4/PowerPC
  • L4Ka::Hazelnut discontinued
  • L4/Alpha discontinued
  • L4/MIPS discontinued
• Kernel-Related Projects
  • VFiasco
  • VeriOS
  • L4.verified

Environment

• L4Env
• Kenge
• IoL4

L4-Based Operating Systems

• Iguana embedded OS
• Mungi Single-Address-Space OS
• L4Linux
• Wombat Linux server
• DROPS
• Perseus
• SawMill
• Hurd/L4
• E1 Distributed Operating System
• L4minix

Compilers and Languages

• IDL4
• DICE
• DDE (part of L4Env)
• User-level device drivers
• Magpie

Other

• NomadBios