TUD Logo

TUD Startseite » ... » Betriebssysteme » Forschung » L4Linux



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.

Stand: 24.6.2010, 13:11 Uhr
Autor: Dr.-Ing. Adam Lackorzynski