GitHub repository: KBaichoo/tock
Primary language: Rust
Description: A secure embedded operating system for Cortex-M based microcontrollers