Rust OS/hardware/embedded programming

Some resources on using Rust in OS/Bootloader/Embedded Dev:

Looks like a lot going on!

Tock looks like a healthy project.

Interesting articles about using Rust for Linux kernel development – looks like progress, but may be a while before it is mainstream:

The above article links to the following articles:

A detailed article about using Rust on MCUs:

https://www.anyleaf.org/blog/writing-embedded-firmware-using-rust