Microkernel
Se conoce como microkernel al modelo de kernel de sistema operativo, que consiste en distribuir en porciones de código modulares y sencillas, las operaciones necesarias para construir una máquina virtual sobre el hardware de un sistema de cómputo.Así construído, un microkernel consta de un conjunto limitado de operaciones (mayormente de bajo nivel) que se ejecutan en espacio de kernel, mientras que las restantes (llamadas de sistema, gestión de memoria, sistema de archivos, operaciones de E/S, etc.), se ejecutan por medio de procesos servidores en espacio de usuario.
Esto mejora la tolerancia a fallos y eleva la portabilidad entre plataformas de hardware, de acuerdo con los defensores de esta tendencia. Sus detractores le achacan, fundamentalmente, mayor complejidad en el código, menor rendimiento, o limitaciones en diversas funciones.
Algunos ejemplos de sistemas operativos con microkernel:
Enlaces externos:
[1] - Resúmen de la discusión entre A. Tanembaum (creador de Minix) y L. Torvalds (creador del núcleo Linux) sobre microkernels y kernels monolíticos.

Haz Enciclopedia.com tu página de inicio y aprende algo nuevo cada día