Elektroniktidningen skrev om OKL4 (då kallades den bara L4) för ett år sedan i en översikt av virtualiseringsteknik för inbyggnadsprocessorer. Fyra månader senare rapporterade Nicta att man fått svenska Ericsson på kroken.
– Det finns ingen större oberoende forsknings- och utvecklingsavdelning för mikrokärnor än den som jag ansvarar för. Det är mycket spännande jobb, säger Gernot Heiser, teknikchef på OK och ledare för L4-projektet.
– Vad jag vet finns det ingen aktör som har en lika ambitiös produktplan som vi har.
Under 2008 ska OKL4 finnas i en version med formellt bevisad funktionalitet.
Utvecklingen stannar i Australien. I USA sätts säljkontor och fältapplikationsingenjörer.
En mikrokärna är ett minimalt operativsystem med bara de mest grundläggande funktionerna som trådhantering, avbrottshantering, minneshantering och trådkommunikation. Allt annat körs som användarprogram. Mikrokärnor utgör grunden bland annar för att skapa virtuella parallella processorer på en enda processorkärna.
Green Hills, Virtual Logix och Sysgo är några av konkurrenterna till OK.
Open Kernels produktplan |