L⁴Linux is a variant of theLinux kernel foroperating systems, that is altered to the extent that it can runparavirtualized on anL4microkernel, where the L4Linuxkernel runs aservice. L4Linux is not afork but a variant and isbinary compatible with theLinuxx86 kernel, thus it can replace the Linux kernel of anyLinux distribution.

L⁴Linux is being developed by theDresden Real-Time Operating System Project (DROPS) to allowreal-time andtime-sharing programs to run on a computer in parallel at the same time.

L⁴Linux also allows setting up avirtualized environment vaguely similar toXen orKernel-based Virtual Machine (KVM), but a few significant differences exist^{[further explanation needed]} between the intent of Xen and L⁴Linux.

L4Android^[2] is a fork of L⁴Linux which encompasses the modifications to the main-line Linux kernel forAndroid. It is a joint project of the operating systems group of theDresden University of Technology and the chair for Security in Telecommunications ofTechnische Universität Berlin.

• Wombat (operating system)
• MkLinux, a similar port of the Linux kernel, but to aMach microkernel

ThisLinux-related article is astub. You can help Wikipedia byadding missing information.

• v
• t
• e

• Linux kernel variant
• Virtualization software for Linux
• Linux stubs

• Use dmy dates from June 2021
• Articles with short description
• Short description matches Wikidata
• Wikipedia articles needing clarification from January 2017
• All stub articles