Fortunately, the answer is no, but the author suggests a hybrid approach of adding Rust components to existing systems.

BTW: Kudos for having a full transcript.

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.

How so? I don't remember Ada having any features preventing use-after-free or write-write conflicts.

I'm not too sure about Ada. In five year's time the balance might be very much in favour of Rust, and Ada would look the wrong choice. That's how fast it's evolving.

ATS might be a very reasonable choice, actually.

Ada has no steam behind it right now.

Can I ask how much Rust experience do you have?

so, like, it's like, painful to read, like