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:<p>- Course web page: <a href="https://cs140e.sergio.bz/" rel="nofollow">https://cs140e.sergio.bz/</a><p>- Accompanying material by the instructor: <a href="https://github.com/dddrrreee/cs140e-24win">https://github.com/dddrrreee/cs140e-24win</a><p>Disclaimer: I've only worked through the course materials when it launched in '18, haven't actually taken the course physically, so YMMV.