Re:Show HN: A new hobby OS from “scratch” in C#
by nickpsecurity on Sunday March 05, 2017 @11:28AM
(#13796704)
Bleeding-edge was VerveOS:
https://www.microsoft.com/en-us/research/publication/safe-to...
It's legacy will be in their IronClad Apps. Look into those if you want to see how far they've gone. Also, Microsoft Research & HLL vs Nix and C in security are a gap that's ever widening. ;)
Many hobby kernels (as mentioned in these comments) have used C#, as well as bleeding-edge research kernels e.g. Microsoft's Singularity project: https://en.wikipedia.org/wiki/Singularity_(operating_system)