Mikrokernel sind Betriebssystemkomponenten, die nur die wichtigsten Aufgaben zur Verfügung stellen. Sie enthalten oftmals weder Dateisystemtreiber, Gerätetreiber, Speicherverwaltung, ...
Diese Treiber und Verwaltungseinrichtungen werden von Programmen angeboten, die auf dem Kern aufbauen.
Es gibt verschiedene Arten von Mikrokernen. Durch die schlechte Performance der ersten Generation haben sie den Ruf eher langsam und unübersichtlich zu sein. Jedoch gibt es inzwischen Mikrokernel die durch Abbau weiterer Funktionalität einen hohen Datendurchsatz erreichen und so an Interesse gewinnen.
bekannte Mikrokernel:
Betriebssysteme die auf Mikrokernel aufsetzen: