- What is L4Linux?
- L4Linux is a port of the Linux kernel
to the L4 microkernel API. It is a para-virtualized Linux kernel running
on top of a hypervisor, completely without privileges.
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 and ARM kernel and can be used with any
- The DROPS operating system project
supports running time-sharing and real-time applications
applications concurrently on one computer. The
L4Linux server has been originally created to
support time-sharing applications.
Nowadays L4Linux is a feature-rich workhorse to bring
applications and features to the system.
- Current release
- The currently supported release of L4Linux is based on
Older releases starting with 2.4 onwards are available in the
repositories of L4Re and L4Env.
Versions of L4Linux based on Linux-2.0 and Linux-2.2 have been archived.
For details, please see the
download page and the
- Mailing List
- Please consider subscribing to our public developer's mailing list at
The discussion language for this mailing list is
Before posting to the mailing list, you may want to check out the
list archive and the
Due to the amount of spam received on the list address, the list is
moderated. Valid posts will be approved by the moderator.