[memory safety] is a more or less solved research problem

I don’t know if I would go that far. There are some interesting alternative approaches to Rust’s borrow checker that might turn out to be better. There’s definitely more research that can be done.

But we do have at least one solution that works very well.

I could actually see myself contributing to Rust kernel code. C code has always been impossible for me to understand, but the Rust part seems to have a more understandable structure