If the world was truly going to take the time/money/effort to rewrite the operating system from scratch and create a new standard core for the future of computing, there are much better options than Rust. Ada being just one of them.

It would be a real tragedy to do it all again, only to make a mistake on the very first decision, what language to use.