M$ está construyendo un SO bajo una estructura de microkernel

Al parecer M$ está codificando en C sharp, la duda que puede plantearse es el por qué está haciendolo. Ante esto se plantea la eterna pregunta, "¿Para cuando Hurd?". Aunque yo me planteo otra pequeña duda que es "¿Qué paso Ada/OS?". De todas formas ¿pudiera ser la programacion concurrente el futuro? Para cualquiera que sepa programar concurrentemente en varios lenguajes sabrá que como Ada pocos. Aunque en la vida "real" si hablamos de concurrencia hablamos de Java. Pero parecería una locura hacer un programa no pequeño en Java ya que la máquina virtual hace que consuma recursos como un loco jejeje. Quizás pasándolo a código nativo se pueda saber algo, pero el pasar de bytecode a nativo es una operación muy ardua al parecer (yo aún de eso no sé mucho). Una pena que los lenguajes de programación "reales", los usados en la industria, sean tan ilegibles e inseguros en comparación con Ada (usado en cosas que necesitan una seguridad muy alta, como aviones, trenes, ...). Ya sabemos que no siempre se usa las mejores herramientas, una cosa es la teoría y otra la práctica. ¿Siempre pasa/pasará esto? Me gustaría aprender algo de Ada/OS, quizás cuando tenga algo de tiempo mire algo de ello o incluso hable con el jefe de proyecto como con el R300 (Vladimir) <- que tiene el apoyo de GNU con prioridad alta. Y vosotros, ¿os habeis interesado alguna vez por los kernels, algún proyecto? ¿habeis colaborado?