Mikrokerner blev først udviklet i 1980'erne for at gøre det lettere at arbejde på tjenester, og adskille dem fra kernekoden. I grunden er en mikrokernel den minimale mængde software, der bruges til at implementere et operativsystem. De består af mindre end 10.000 linjer kode og omfatter IPC (interprocess kommunikation), lavt niveau adresseledelse og trådstyring.

Bemærk: Typiske operativsystemer fjerner enhedsdrivere og filsystemer fra mikrokernen og kører dem i brugerrummet i stedet.

Kernel, Operating System vilkår