Operating Systems Group Dept. of CS TU-Dresden
- Running Linux on top of L4
Latest release: 2.6.31
L4Linux
What's new?
Overview
Papers & reports
Status
Download
Building
Using
In Action
Demo
FAQ
Reporting Bugs
Who did this?
Related work
 
L4Linux Links
L4Linux @ L4HQ
L4Linux @ L4Ka
Wombat @ NICTA/UNSW
 
Links
OS Group Dresden
wiki.tudos.org/L4Linux
DROPS
L4Env
L4KA
L4HQ
NICTA/UNSW
Linux
Debian GNU/Linux
 
µ - Kernels
Fiasco · UX
L4Ka::Pistachio

Status information

L4Linux-2.6

The release of L4Linux-2.6 is based on Linux 2.6.31. It uses L4Env as a basis. It is not tuned currently but has shown to be stable to run most of the Linux applications.

L4Linux-2.4

The current release of L4Linux-2.4 is based on Linux 2.4.30
It runs on V2, X2 and L4Env APIs, and supports Fiasco and L4Ka::Pistachio in various configurations.

L4Linux-2.4 is not maintained anymore.

older L4Linux versions

Older ports of Linux 2.2.26 and 2.0.21 are also available. L4Linux-2.0 and L4Linux-2.2 are not maintained anymore.

To get any of the versions, please go to the Download page.

Functionality

L4Linux provides full binary compatibility with the original Linux kernel on the PC.

SMP is supported with L4Ka::Pistachio and L4Linux-2.4.

Performance

Compared 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.

Last modified: Fri, Apr 14 2006, 14:32