L4Linux

L4Linux
DeveloperDresden Real-Time Operating System Project
Written inC
OS familyLinux kernel
Working statecurrent
Source modelOpen source
Initial release5 October 1997; 28 years ago (1997-10-05)
Latest release7.0 / May 2026; 1 month ago (2026-05)
Supported platformsIA-32, x86-64, ARM, RISC-V[1]
Kernel typeMonolithic on microkernel
LicenseGNU General Public License
Official websitel4linux.org

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

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

L4Android[2] 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 Technische Universität Berlin.

See also

References

  1. ^ Detailed introduction
  2. ^ "L4Android". l4android.org. 28 August 2012.


Stub icon

This Linux-related article is a stub. You can help Wikipedia by adding missing information.

Content Disclaimer

Informasi ini disarikan dari Wikipedia dan disajikan kembali untuk tujuan edukasi. Konten tersedia di bawah lisensi CC BY-SA 3.0. Kami tidak bertanggung jawab atas ketidakakuratan data yang bersumber dari kontribusi publik tersebut.

  1. The information displayed on this website is sourced in part or in whole from Wikipedia and has been adapted for the purpose of restating it. We strive to provide accurate and relevant information, however:
  2. There is no guarantee of absolute accuracy. Wikipedia is an open, collaborative project that can be edited by anyone, so information is subject to change.
  3. It is not intended to constitute professional advice. The content displayed is for informational and educational purposes only. For important decisions (e.g., medical, legal, or financial), please consult a professional.
  4. Content copyright. Wikipedia is licensed under the Creative Commons Attribution-ShareAlike License (CC BY-SA). This means that content may be reused with appropriate attribution and shared under a similar license.
  5. Responsible use. Any risk arising from the use of information from this website is entirely the responsibility of the user.