Microsoft writes much of the kernel in (msvc) C++ but they're keenly investigating other languages. They're also researching designs for new ones.

C isn't the only game in town.