L4Linux is a port of the Linux kernel to the L4/Fiasco µ-kernel ABI
and to the Fiasco.OC ABI (starting from version 2.6.34 of L4Linux). It is a
(para-)virtualized Linux running on top of one of the microkernels, completely
without privileges if wanted.
L4Linux runs in user-mode on top of the µ-kernel, side-by-side with
other µ-kernel applications such as real-time components. It is
binary-compatible with the normal Linux/x86 kernel and can be used with any
PC-based Linux distribution.