> How would you convert 80% of the Linux kernel to rust?

If you just leave the hard drive out by the sea, it should happen by itself. 80% should only take a few months.