Barrapunto

¿Para qué quiero un microkernel con millones de cambios de contexto por segundo, si puedo tener los mismos módulos en un kernel monolítico GPL?
Lo del microkernel no es más que una forma de facilitarles la vida a los drivers privativos, y yo digo... ¡no a los drivers privativos!

Si eso piensas del microkernel es que no entiendes las ventajas que aporta.
Un microkernel no es menos eficiente que uno monolitico si se hace bien, pero una parte del nucleo jamas dejara fuera de servicio al resto.