Mikrokerneli su prvi put razvijeni 1980-ih kako bi se omogućilo lakše rješavanje usluga, kao i njihovo odvajanje od kernel koda. U biti, mikrokernel je minimalna količina softvera koji se koristi za implementaciju operativnog sustava. Sastoje se od manje od 10.000 linija koda i uključuju IPC (interprocess communication), upravljanje niskim razinama adresnog prostora i upravljanje nitima.

Napomena: Tipični operativni sustavi uklanjaju upravljačke programe i datotečne sustave s mikrokernela, a umjesto toga pokreću ih u korisničkom prostoru.

Kernel, pojmovi operacijskog sustava