Tock Embedded OS

https://www.tockos.org/ [email protected]

Tock is an embedded operating system designed for running multiple concurrent, mutually distrustful applications on low-memory and low-power microcontrollers