RTIC
A Rust framework that turns the interrupt controller into the scheduler and lets the compiler prove shared resources can neither race nor deadlock.
Real-Time Interrupt-driven Concurrency was previously called RTFM — Real-Time For the Masses, a name that aged predictably — and grew out of Luleå University of Technology around Per Lindgren; Jorge Aparicio wrote the first Rust version, and the rename came in 2020. The foundation is the Stack Resource Policy, a 1990s scheduling protocol closely related to priority ceilings. Every task is an interrupt handler with a fixed priority, and the NVIC does the actual switching: no kernel, no tick, a single stack.
Resources are declared along with the tasks allowed to touch them. The framework computes each resource's ceiling at compile time, so taking a lock is just a brief raise of the interrupt mask. The trade-off against Embassy, the other big Rust school, is roughly predictable real-time versus comfortable async code.