|Operating Systems Group Dept. of CS TU-Dresden|
|Latest release: 3.9|
The latest release of L4Linux is based on Linux 3.9. It uses L4Re as a basis. It is not tuned currently but has shown to be stable to run most of the Linux applications.
Older versions of L4Linux up to including 2.6.31 are using L4Env as a basis.
Older L4Linux versions
Older ports of Linux 2.2.26 and 2.0.21 were also developed.
L4Linux-2.0, L4Linux-2.2 and L4Linux-2.4 are not maintained anymore.
FunctionalityL4Linux provides full binary compatibility with the original Linux kernel.
PerformanceCompared to monolithic Linux, there is a small performance tradeoff because of the µ-kernel architecture. However, the initial L4Linux has been somewhat optimized, and on L4/x86 it has a very acceptable slowdown of less than 4 % for any relevant load.
For more information, please check out our papers from the papers section.