Issue du centre de recherche australien Nicta (National information communication technologie australia), la jeune société Open Kernel Labs propose une version commerciale de la technologie de micronoyau temps réel en Open Source L4, développée au sein de cet organisme. Baptisée OKL4, cette solution, fournie avec une licence BSD, est livrée avec des services de support,

…