kernels aren't meant to be written by any defined language. C is just a traditionally good default language that took over from assembly. No particular reason we have to stick with C.

And quite a few reasons that something better than C should be used. Rust seems a good candidate.