I don't think Phil's goal is to produce a Rust-based kernel so much as it is to demonstrate some of the nitty-gritty details of how kernels work, while also just happening to use Rust (which provides an opportunity to discuss how many of those gnarly unsafe bits can be encapsulated behind safe interfaces, while others can't).