But "use rust" seems to be obvious enough as a solution that you simply assumed that's the direction GP is going? :)

Honest question though: shouldn't it be possible to only write single kernel modules (like drivers) in rust, without switching out the entire OS at once?