Operating Systems Group Dept. of CS TU-Dresden
- Running Linux on top of L4
Latest release: 6.5

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

Last modified: Thu, Mar 10 2011, 10:07