Status information

The current L4Linux release is based on Linux 2.2.1, and is quite stable. In the meantime it has been updated to 2.2.25 of the Linux kernel. An older port of Linux 2.0.21 is also available.

L4Linux currently runs on L4/x86 and on Fiasco.

Functionality

L4Linux provides full binary compatibility with the original Linux kernel on the PC. There are two notable exceptions: Kernel modules compiled for original Linux are not supported, as are the VM86 system calls.

Security currently is a joke on both L4/x86 and Fiasco because both µ-kernels haven't implemented I/O flexpages yet, but this is easy to fix.

SMP is not supported.

Performance

Compared to monolithic Linux, there is a small performance tradeoff because of the µ-kernel architecture. However, 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.

Agenda

What's up next (in order of priority):


Last modified: