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