L4Linux

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.