L4Linux

L⁴Linux

Developer	Dresden Real-Time Operating System Project
Written in	C
OS family	Linux kernel
Working state	current
Source model	Open source
Latest release	3.16 / September 1, 2014 (2014-09-01)
License	GNU General Public License
Official website	l4linux.org

L⁴Linux is a variant of the Linux kernel that is being altered to the extent that it can run virtualized on the L4. L4 is a microkernel and the L4Linux kernel runs a service. L4Linux is not a fork but a variant and is binary compatible with the Linux/x86-Kern, thus it can replace the Linux kernel of any Linux distribution.

L⁴Linux is being developed by the Dresden Real-Time Operating System Project (DROPS) to allow Real-time and Time-sharing-Programs to run on a computer in parallel at the same time.

L⁴Linux also allows to set up a virtualized environment vaguely similar to Xen or KVM, but there are a couple of grave differences between the intention of Xen and L⁴Linux.

L4Android

L4Android is a fork of L⁴Linux which encompasses the modifications to the main-line Linux kernel for the Android (operating system). It is a joint project of the operating systems group of the Dresden University of Technology and the Chair for Security in Telecommunications of the Berlin Institute of Technology.