Microkernel é uma arquitetura de núcleo de sistema operacional que prevê os recursos mínimos necessários para o gerenciamento e a utilização do hardware. Quanto a essa arquitetura, os serviços considerados essenciais em um microkernel são: