Bland kunderna finns Ericsson och Qualcomm.
Pengarna kommer från riskkapitalisterna Chrysalis Ventures och Neo Technology Ventures. Och från Citrix, som också sysslar med virtualisering, fast i serversystem.
OKL4 är en ny sorts mikrokärna från forskarvärlden som håller på att spridas till inbyggda system. Den är betydligt effektivare än dagens dominerande mikrokärna Mach.
En mikrokärna är ett operativsystem byggt som ett pussel av komponenter. Därmed är den enkel att anpassa till olika användningsområden.