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):
- Implementing support for I/O flexpages
Last modified: