Related work

Other kernel-related work

• L4KA (from Uni Karlsruhe)

• EROS (from the University of Pennsylvania)

• Exokernel (from MIT)

• Mach (from The Open Group), the classic µ-kernel which also has a Linux port

• RT-Linux (from New Mexico Tech) extends the Linux kernel with a small real-time executive layer.

Related TU Dresden Projects

• The L4 µ-kernel defines the ABI Fiasco emulates.

• DROPS, the Dresden Real-Time Operating System, uses the L4 and Fiasco kernels as its basic layer.