Australische microkernel zoekt commercie op

Open Kernel Labs gaat zijn open-source L4-kernel vercommercialiseren. De Australiërs hebben hun hoofdkwartier hiervoor verplaatst naar de Verenigde Staten. Het commerciële OKL4 bestaat uit een microkernel waarop zowel losse applicaties als gastbesturingssystemen naast elkaar kunnen draaien. De Australiërs zijn op dit moment bezig de code formeel te valideren.

De microkernelaanpak weert zo veel mogelijk processen uit de kernelruimte. Daardoor kan maar een klein stukje software bij de hardware en is er minder kans dat een fout in de applicatie het systeem onderuithaalt. Bovendien hebben applicaties minder kans om de beveiliging te omzeilen. Open Kernel Labs claimt dat dit door de formele validatie zelfs bijna onmogelijk is.

De OKL4-kernel heeft minder dan 20 duizend regels code. Het systeem laat efficiënte communicatie tussen de verschillende processen toe. Op dit moment ondersteunt OKL4 Arm4- en 5-processoren en de x86-architectuur. Binnenkort komt daar Mips bij. Als gastbesturingssystemen ondersteunt het Linux en een aantal RTOS‘en waaronder Ecos. Voor het ontwikkelen van applicaties gebruikt het systeem een eigen Api.