Redox, UEFI-based Unix-like OS written in Rust

“Redox is a Unix-like Operating System written in Rust, aiming to bring the innovations of Rust to a modern microkernel and full set of applications.”

https://www.redox-os.org/

https://github.com/redox-os

https://github.com/redox-os/uefi/tree/master/src