Microkernel

Aquest article o secció no cita les fonts o necessita més referències per a la seva verificabilitat.

Es coneix com a microkernel al model de kernel de sistema operatiu que consisteix a distribuir porcions de codi modulars i senzilles les operacions necessàries per construir una màquina virtual sobre el maquinari d'un sistema de còmput.

Construït així, un microkernel consta d'un conjunt limitat d'operacions (la major part de baix nivell) que s'executen en espai de kernel, mentre que les restants (crides al sistema, gestió de memòria, sistema de fitxers, operacions d'E/S, etc.) s'executen mitjançant processos servidors en espai d'usuari.

Això millora la tolerància a errors i eleva la portabilitat entre plataformes de maquinari, segons els defensors d'aquesta tendència. Però els seus detractors diuen que el codi és més complex, té menys rendiment i està limitat en diverses funcions.

Alguns exemples de sistemes operatius amb microkernel:

• Minix
• GNU Hurd
• NeXTSTEP
• BeOS
• L4
• Netkernel
• AmoebaOS
• RaOS
• RadiOS
• Chorus
• MacOSX