Mikrokerne wurden erstmals in den 1980er Jahren entwickelt, um die Bearbeitung von Diensten zu erleichtern und sie vom Kernel-Code zu trennen. Im Wesentlichen ist ein Mikrokernel die minimale Menge an Software, die zum Implementieren eines Betriebssystems verwendet wird. Sie bestehen aus weniger als 10.000 Codezeilen und umfassen IPC (Interprozesskommunikation), Low-Level-Adressraumverwaltung und Thread-Verwaltung.
Notiz
Typische Betriebssysteme entfernen Gerätetreiber und Dateisysteme aus dem Mikrokernel und führen sie stattdessen im Benutzerbereich aus.
Kernel, Betriebssystembegriffe
