Il termine Microkernel indica una porzione di codice o di software che contiene il numero minimo di funzioni e istruzioni per implementare un sistema operativo. Il microkernel deve essere in grado di gestire i meccanismi basilari per il sistema, nell'ottica di avere una base flessibile per la realizzazione dell'intero sistema operativo.