Tock OS - sistema operacional para microcontroladores de baixo consumo e pouca memória

• Plataforma embarcada baseada em Cortex-M / RISC-V

• Projetado para executar vários aplicativos simultaneamente com segurança

• Kernel/drivers de dispositivo escritos em Rust

• SO para IoT/redes de sensores/pequenos dispositivos de segurança (como TPM)/wearables

[xguru]

Usa principalmente dois tipos de hardware de desenvolvimento: Hail ( $60 ), imix ( $100 )

Além disso, oferece suporte à família nRF51XXX da Nordic.

https://www.tockos.org/hardware

[xguru]

Slides em PDF de apresentação do Tock OS (41 páginas): "Tock: A Secure Operating System for Microcontrollers"

https://platformlab.stanford.edu/Presentations/2018/…