L4Linux
id:
l4linux-178-6267530
title:
L4Linux
text:
L⁴Linux 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. 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 paral
brand slug:
wiki
category slug:
encyclopedia
description:
Linux distribution
original url:
https://en.wikipedia.org/wiki/L4Linux
date created:
2013-09-19T14:19:24Z
date modified:
2024-09-04T11:32:18Z
main entity:
{"identifier":"Q1667277","url":"https://www.wikidata.org/entity/Q1667277"}
image:
fields total:
13
integrity:
15