> So there wouldn't exist too much difference with a pure Rust application full of unsafe blocks. There would be a massive difference, unless you're proposing

> So there wouldn't exist too much difference with a pure Rust application full of unsafe blocks. There would be a massive difference, unless you're proposing they write the kernel in a high level language with little bits of C++ thrown in for the unsafe parts, which notably is not what they're already doing. The point is to make kernel code safe by default, with a small amount of unsafe in it, all wrapped up in a safe interface for the rest of the kernel to use.