I'd rewrite Linux in Rust and only allow Rust code to interact with it. That would guarantee at least basic memory safeties. Many big bugs of the past years wouldn't have happened (I am looking at you, Heartbleed). Also, dependency hell would be a lot more manageable (thanks to cargo).
Well, apparently I am not the only one who would do so; that's why I am watching the Redox project closely :)