L4Linux

{{DISPLAYTITLE:L4Linux}}
L4Linux er en variant av Linuxkjernen som er blitt endret slik at den kan kjøre virtualisert på mikrokjernen L4. L4Linux er ikke en fork, men en variant og er binærkompatibel med  Linux/x86-Kern. Den kan derfor erstatte Linuxkjernen i en hvilken som helst Linuxdistribusjon.

Siste versjon er versjon 4.7 som ble lansert i august 2016.

Varianter av Linuxkjernen