Barrapunto

No te sabria decir si PPC es big o little-endian, habria que mirarlo, pero si que tienes razon en que habrá cierta pérdida de rendimiento de todas todas (todos los microkernels implican una cierta degradación de rendimiento en mayor o menor medida). Por mucho que se optimice, siempre será menos eficiente que un monolítico optimizado.

Pero el microkernel tiene precisamente la tarea de independizar el sistema operativo del procesador y la memoria. No es una maquina virtual estrictamente hablando, vale, pero sí que consigue esa abstracción entre el sistema y el hardware, por lo que el núcleo del sistema operativo se desentiende de ese tema.