Related work

• MkLinux, a port of Linux to the Mach µ-kernel.
• RT-Linux (from New Mexico Tech, now FSMLabs) extends the Linux kernel with a small real-time executive layer.
• SawMill Linux, a project aiming at building a configurable multi-server Unix system based on Linux and L4/x86.

Related TU Dresden Projects

• The Fiasco µ-kernel.
• The L4 µ-kernel family.
• DROPS, the Dresden Real-Time Operating System, uses L⁴Linux as its time-sharing application server component.