Stort intresse för mikrokärnor L4 är en mikrokärna — ett minimalt operativsystem där allt utom intern kommunikation och processhantering körs som programvara, i ”servrar”. Exempelvis kan operativsystem laddas som komponenter vilket betyder att mikrokärnor kan användas för att implementera virtualisering, det vill säga att låta en processor köra flera operativsystem parallellt — samma, eller olika. Det finns just nu ett stort intresse för mikrokärnor bland inbyggnadsföretagen. Pike OS från Sysgo, Integrity PC från Green Hills, och Lynxsecure från Lynuxworks är strikt verifierade mikrokärnor. Det betyder att deras funktionalitet är formellt bevisad och de därmed användas i säkerhetskritiska system. Ett av Nictas projekt tar fram en strikt verifierad version av L4 kallad L4 Verified. |
Det är Nicta, ett statligt forskningscentrum i Australien, som nu slår på stora trumman för sin variant av L4.
L4 är öppen programvara, som Linux.
– Den kan revolutionera användandet av inbyggda system, säger professor Gernot Heiser som leder forskningsprogrammet.
Nictas version av L4 heter Pistachio. Den släpps tillsammans med två komponentoperativsystem: Iguana (som bygger på samma programvara som L4 i sig) och Linuxversionen Wombat.
Pistachio kan köras under ARM, x86 och MIPS. Enligt Nicta är L4 den snabbaste mikrokärna som stöder Arm. Och dessutom den första mikrokärna som kan köra Linux på Arm.