Tock Embedded OS
tock
Tock is an embedded operating system designed for running multiple concurrent, mutually distrustful applications on low-memory and low-power microcontrollers
Real-Time Interrupt-driven Concurrency (RTIC)
rtic-rs
Organization for the RTIC scheduler and ecosystem
Embedded Office GmbH & Co. KG
embedded-office
Embedded Office is your partner of solutions for safety critical systems. The official GitHub account contains officially supported repositories
Germany
Rust Embedded
rust-embedded
Enabling usage of Rust on Embedded Platforms (Embedded Linux / RTOS / Bare Metal)