What does HackerNews think of stm32-rs?
Embedded Rust device crates for STM32 microcontrollers
The future is here for STM32: https://github.com/stm32-rs/stm32-rs
* https://www.keil.com/pack/doc/CMSIS/SVD/html/index.html
** https://github.com/stm32-rs/stm32-rs
*** https://github.com/stm32-rs/stm32f4xx-hal for the stm32f4xx line
The borrow checker is great for all sorts of things, like ensuring that you only have a single mutable reference or an arbitrary number of immutable references to objects (to prevent corruption) and for the pseudo-threaded model interrupts entail. Memory safety matters in embedded systems, too. You can encode state cleanly with ADT enums [2] where the language can statically detect invalid state transitions.
It's also a much more expressive language, providing you with great abstractions with no added cost. The ergonomics are pretty great compared to dealing with C once your peripherals / register accesses are wrapped, as often are already. For instance, check out the stm32 package [1].
Being able to rely on the compiler more means you get correct code faster, and debugging on embedded systems can be absolute hell. Anything that helps me avoid it is a massive win in my books.
[1] https://github.com/stm32-rs/stm32-rs
[2] https://hoverbear.org/2016/10/12/rust-state-machine-pattern/