I've had a look through the PDF but can't seem to find a reference to how much of the micro-kernel is written in unsafe Rust. I guess I want to know how useful

I've had a look through the PDF but can't seem to find a reference to how much of the micro-kernel is written in unsafe Rust. I guess I want to know how useful Rust's safety really is if the kernel doesn't use it much.