On Feb 10, 2008, at 9:36 PM, Adrian Tritschler wrote:
OS "with modular microkernels using the C# programming language."
Microsoft has too, and it outdates the other two. Unfortunately, it's only available in Microsoft and a select few universities.
http://research.microsoft.com/os/singularity/