[AdrianoKF]

Reminds me of the experimental version of Stanford's CS 140/212, CS 140e, which used Rust to develop a simple operating system kernel for the Raspberry Pi 3B:

- Course web page: https://cs140e.sergio.bz/

- Accompanying material by the instructor: https://github.com/dddrrreee/cs140e-24win

Disclaimer: I've only worked through the course materials when it launched in '18, haven't actually taken the course physically, so YMMV.