|Developer||Dresden Real-Time Operating System Project|
|OS family||Linux kernel|
|Source model||Open source|
|Initial release||5 October 1997|
|Latest release||5.11 / December 2020|
|Platforms||IA-32, x86-64, ARM|
|Kernel type||Monolithic on microkernel|
|License||GNU General Public License|
L4Linux is a variant of the Linux kernel for operating systems, that is altered to the extent that it can run paravirtualized on an L4 microkernel, where the L4Linux kernel runs a service. L4Linux is not a fork but a variant and is binary compatible with the Linux x86 kernel, thus it can replace the Linux kernel of any Linux distribution.
L4Linux also allows setting up a virtualized environment vaguely similar to Xen or Kernel-based Virtual Machine (KVM), but a few significant differences exist[further explanation needed] between the intent of Xen and L4Linux.
L4Android is a fork of L4Linux which encompasses the modifications to the main-line Linux kernel for Android. 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.
- "L4Android". l4android.org. 28 August 2012.