I Microkernel sono stati sviluppati per la prima volta negli anni '80 per consentire di lavorare più facilmente sui servizi e per separarli dal codice del kernel. Essenzialmente, un microkernel è la quantità minima di software utilizzata per l'implementazione di un sistema operativo. Consistono in meno di 10.000 righe di codice e includono IPC (comunicazione interprocesso), gestione dello spazio degli indirizzi di basso livello e gestione dei thread.

Nota: i sistemi operativi tipici rimuovono i driver di periferica e i file system dal microkernel, eseguendoli invece nello spazio utente.

Kernel, termini del sistema operativo