Det här har bland annat varit en mycket het trend i mobiltillverkarnas utvecklingsgrupper de senaste åren. De första mobiler som kör Linux och realtid på samma kärna börjar nu dyka upp i butikerna.
Tekniken för att göra integreringen finns hos bland annat Green Hills, Lynuxworks, Sysgo, VirtualLogix och Tenasys.
Och hos Australiska Open Kernel Labs - som knoppades av från australiska forskningsinstitutet Nicta i höstas.
Open kernel Labs är en uppkäftig utmanare. Man hävdar sig ha de största utvecklingsresurserna bakom sin mikrokärna OKL4. Och man påstår sig ha högst prestanda bland mikrokärnor på både Arm, x86, PowerPC, MIPS och Sparc.
OKL4 har provats av Qualcomm och Ericsson. Och nu meddelar också företaget att man ända sedan 2005 har medverkat i projekt som integrerar Linux med OKL4.
Mobillinux används enligt Open kernel Labs idag i 35 miljoner mobila enheter.
Open Kernel Labs går samtidigt med i Arms partnerprogram ARM Connected Community, som har 400 medlemmar. OKL4 stöds på ARM9 och ARM11.