Mikrokerne wurden erstmals in den 1980er Jahren entwickelt, um die Bearbeitung von Diensten zu erleichtern und sie vom Kernel-Code zu trennen. Ein Mikrokern ist im Wesentlichen die minimale Menge an Software, die zur Implementierung eines Betriebssystems verwendet wird. Sie bestehen aus weniger als 10.000 Codezeilen und umfassen IPC (Interprozesskommunikation), Adressraumverwaltung auf niedriger Ebene und Thread-Verwaltung.

Hinweis: Bei typischen Betriebssystemen werden Gerätetreiber und Dateisysteme aus dem Mikrokernel entfernt und stattdessen im Benutzerbereich ausgeführt.

Kernel, Betriebssystembegriffe