[aphexairlines]

Microsoft had enough resources in the 90s and 2000s to get a safe language like ocaml running at least their network services.

[muricula]

OCaml in ring 0? Anything can be done if you try hard enough I guess.

MS had a research project to rewrite the NT kernel in a C# derived language at one point. It worked, but they decided not to go ahead with it.