L4Linux

Denne artikkelen mangler kildehenvisninger, og opplysningene i den kan dermed være vanskelige å verifisere. Kildeløst materiale kan bli fjernet.

L⁴Linux 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.