Unpopular opinion, both MS and Linux should use Ada instead of Rust in the kernel. The rust language isn't stable enough and it does not force the programmer to do uncomfortable things to avoid logic errors (not memory or race condition). Ada had been tested for decades in life or death level critical systems and it is the better direction for the future.