They did try a number of times to write kernels in C#-like languages. Singularity, Midori, etc.

This spawned a lot of interesting academic work that influenced languages such as Rust... trying to get high level features and safety without need for a runtime.