TUD Logo

TUD Home » ... » Operating Systems » Research » L4Linux

Operating Systems


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.

Last modified: 24th Jun 2010, 1.11 PM
Author: Dr.-Ing. Adam Lackorzynski