MicroKernel OS

Small and clean

Basic and essential facilities

  • IPC (Inter-Process Communication)
  • Address space management
  • Thread management
  • Interrupt handler
  • Scheduling

Higher level services:

  • Built on top of the basic facilities
  • Run as a server process outside of the OS
  • Use IPC to communicate


  • Kernel more robust and extendible
  • Better isolation and protection between kernel and high level services


  • Lower performance

See also

Differences between microkernel and kernel