Barrapunto

Pero C++ es si una mierda pinchada en un palo.

Linux no es un dictador, en todo caso un lider, la gente no tiene por qué hacer lo que él diga, y si hay una masa crítica de programadores pueden hacer un fork, si no lo hacen es porque prefieren el modelo de desarrollo de Linux

Poner como ejemplo a OSX, que es un hibridación entre un Microkernel, del que casi no usamos ninguna de sus características, y que posee un único servicio que es un kernel monolítico.

Si quieres algo parecido podemos usar HURD, colocando como único servicio un linux. Posiblemente así los controladores tendrían herencia (al ser parte del microkernel HURD, programado en C++), y el resto seguiría igual (en C).

La arquitectura del nucleo de MacOS es otra CHAPUZA de tres al cuarto. Y Hurd no es ninguna "entelequia", simplemente avanza lento porque no es una necesidad prioritaria para la mayoría de los usuarios de sistemas operativos disponer de una arquitectura microkernel en condiciones.