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
Tock Embedded OS