😀
Pues eso… que no todo es Windows en Microsoft.
El equipo de Microsoft Research ha desarrollado un prototipo de microkernel de sistema operativo basado en clave Singularity, que no tiens su raiz en Windows. Son aproximadamente 300.000 líneas escritas en código festionado concretamente en Sing#, un lenguaje derivado de Spec# que a su vez deriva de C#, que a su vez deriva de……. (es broma).
Para más información:
http://research.microsoft.com/os/singularity/
Saludos,