Microkernels foram desenvolvidos pela primeira vez na década de 1980 para permitir que os serviços fossem mais facilmente trabalhados, bem como separá-los do código do kernel. Essencialmente, um microkernel é a quantidade mínima de software usada para implementar um sistema operacional. Eles consistem em menos de 10.000 linhas de código e incluem IPC (comunicação entre processos), gerenciamento de espaço de endereço de baixo nível e gerenciamento de encadeamentos.

Nota: Sistemas operacionais típicos removem drivers de dispositivo e sistemas de arquivos do microkernel, executando-os no espaço do usuário.

Kernel, termos do sistema operacional