Developer | Dresden Real-Time Operating System Project |
---|---|
Written in | C |
OS family | Linux kernel |
Working state | current |
Source model | Open source |
Initial release | 5 October 1997; 26 years ago (1997-10-05) |
Latest release | 6.5 / October 2023; 9 months ago (2023-10) |
Platforms | IA-32, x86-64, ARM |
Kernel type | Monolithiconmicrokernel |
License | GNU General Public License |
Official website | l4linux |
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 XenorKernel-based Virtual Machine (KVM), but a few significant differences exist[further explanation needed] between the intent of Xen and L4Linux.
L4Android[1] 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.
Virtualization software
| |||||||||||
---|---|---|---|---|---|---|---|---|---|---|---|
Hardware (hypervisors) |
| ||||||||||
Operating system |
| ||||||||||
Desktop |
| ||||||||||
Application |
| ||||||||||
Network |
| ||||||||||
See also |
| ||||||||||
See also: List of emulators, List of computer system emulators |
| |||||||||||||||||||||||||||
---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|
Organization |
| ||||||||||||||||||||||||||
Technical |
| ||||||||||||||||||||||||||
Adoption |
| ||||||||||||||||||||||||||
|
| |||||||||||||||||||||||||
---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|
Kernels |
| ||||||||||||||||||||||||
Operating systems |
| ||||||||||||||||||||||||
Frameworks, kits |
| ||||||||||||||||||||||||
Developers |
| ||||||||||||||||||||||||
|
![]() | This Linux-related article is a stub. You can help Wikipedia by expanding it. |