The slide deck comes to this conclusion, at least for now. Rather, he discusses a hybrid approach of writing certain modules / drivers of a C-based kernel in Rust so it can be done a little bit at a time.