Check out those (add more if you find anything, please :)) :crab: - [Tock](https://github.com/tock/tock) - https://www.tockos.org/documentation/design - [Hubris](https://github.com/oxidecomputer/hubris) - https://hubris.oxide.computer/reference/ - [RTIC](https://github.com/rtic-rs/) - https://rtic.rs/1/book/en/by-example/app.html
