L^4^Linux is a paravirtualized version of the Linux kernel to run on the L4/Hypervisor Fiasco.

Find more information here: [[http://os.inf.tu-dresden.de/L4/LinuxOnL4/]]