There is a branch of the Tianocore UEFI C codebase that is being ported to Rust!!
https://github.com/tianocore/edk2-staging/tree/edkii-rust
http://vzimmer.blogspot.com/2019/12/rust-oxide-corrosion.html
Interesting! I wonder how this will turn out. There is not a lot of Rust knowledge in the existing Firmware engineer community, but there is a lot of talk about Rust replacing C for low-level systems projects. While one Microsoft security researcher has posted a blog about Rust, I really don’t see Microsoft embracing Rust. They have to retrain their existing C developers to use a new language, and they’d need a language that they could control the direction of. I suspect the Microsoft systems team, if forced to migrate from their C89-era compiler to something modern, would probably use their CheckedC or Project Verona. I would love to be proven wrong. 🙂