Tock OS - sistema operativo para microcontroladores de bajo consumo y baja memoria

 (tockos.org)
6 puntos por xguru 2020-02-02 | 2 comentarios | Compartir por WhatsApp

  • Plataforma embebida basada en Cortex-M / RISC-V

  • Diseñado para ejecutar de forma segura varias aplicaciones al mismo tiempo

  • El kernel y los controladores de dispositivos están escritos en Rust

  • Un sistema operativo para IoT / redes de sensores / dispositivos de seguridad pequeños (como TPM) / wearables, etc.

Lecturas relacionadas

2 comentarios

 
xguru 2020-02-02

Se usan principalmente dos tipos de hardware de desarrollo: Hail ( $60 ), imix ( $100 )

Además, es compatible con la familia nRF51XXX de Nordic.

https://www.tockos.org/hardware
 
xguru 2020-02-02

PDF de diapositivas de introducción a Tock OS (41 págs.): "Tock: A Secure Operating System for Microcontrollers"

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