mikrokjerner
En mikrokjerne er en type operativsystemkjerne som inneholder et begrenset sett av kjernetjenester. Typisk innebærer dette hukommelsesbeskyttelse, tidsstyring og interprosesskommunikasjon (IPC). Resten av operativsystemets tjenester, som filsystem, nettverk og enhetsdrivere, kjører som separate prosesser i brukermodus som servere. Dette skille gjør isolasjon mellom tjenester og feil lettere å kontrollere.
Historisk oppstod mikrokjernetanken på 1980-tallet som et alternativ til monolittiske kjerner som Unix. Mach-kjernen ved Carnegie
Fordeler med mikrokjernen er streng isolasjon mellom tjenester, bedre modulærhet, enklere feilsøking og potensial for formell
Mikrokjerner brukes i systemer der sikkerhet, fleksibilitet og pålitelighet er viktig, for eksempel i embedded og