Mikrokerne

verringern den im privilegierten Prozessormodus ausgeführten Programmcode auf ein Minimum. Weitergehende Funktionalitäten werden in User Mode Server ausgelagert, so auch Gerätetreiber (Abb. 2.3). Die Server sind durch Adreßraumgrenzen geschützt und kommunizieren auf der Basis von Inter-Process Communication (IPC).

Abbildung 2.3: Separater Treiber-Server (Mikrokern)