Not sure exactly what he means by that but he does link to another effort that implements everything using Rust: https://github.com/rust-embedded/rust-raspberrypi-OS-tutoria...