Overview

What is L4Linux?
L4Linux is a port of the Linux kernel to the L4/x86 and Fiasco µ-kernels (microkernels), two kernels implementing the L4 µ-kernel API.

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.

Motivation
The DROPS operating system project supports running time-sharing and real-time applications applications concurrently on one computer. The L4Linux server has been created to support time-sharing applications.

The port provides us with a basis platform for future development work. In addition, it allows for real-life testing of L4/x86's and Fiasco's performance and functionality.

Current release
The current release is a port of Linux 2.2.25. An older port of Linux 2.0.21 is also available. For details, please see the download page and the status page.

Developers welcome!
Please consider subscribing to our developer's mailing list at <l4-hackers-request@os.inf.tu-dresden.de> (use "subscribe" in the message body). The discussion language for this mailing list is English.

Before posting to the mailing list, you may want to check out the mailing list archive and the L4 FAQ.

Reporting bugs
To report a bug in L4Linux, please use our bug tracking system. This can be done in two ways: Either email your report to <fiasco-bugs@os.inf.tu-dresden.de>, or enter it online in the bug tracking system's web interface.


Last modified: