Los microkernels se desarrollaron por primera vez en la década de 1980 para permitir que los servicios se trabajen más fácilmente, así como para separarlos del código del núcleo. Esencialmente, un microkernel es la cantidad mínima de software utilizado para implementar un sistema operativo. Consisten en menos de 10, 000 líneas de código e incluyen IPC (comunicación entre procesos), administración de espacio de direcciones de bajo nivel y administración de subprocesos.

Nota: los sistemas operativos típicos eliminan los controladores de dispositivo y los sistemas de archivos del microkernel, ejecutándolos en el espacio del usuario.

Kernel, términos del sistema operativo