It would be interesting to see how many of these bugs would be possible if an operating system written in Rust would be used.

I would treat any code allocating / deallocating / moving / locking memory by hand instead of using higher level constructs unsafe now that we know that it's possible to automate checking safety of the operations.