AstraKernel, ✨ Tock OS, now Compiles on Stable Rust
https://tockos.org/blog/2024/talking-tock-55/
👉 Embedded operating system designed for running multiple concurrent, mutually distrustful applications on Cortex-M and RISC-V based embedded platforms