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