Barrapunto

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).