Tock OS - Système d’exploitation pour microcontrôleurs à faible consommation et faible mémoire

• Plateformes embarquées basées sur Cortex-M / RISC-V

• Conçu pour exécuter en toute sécurité plusieurs applications simultanément

• Noyau / pilotes de périphériques écrits en Rust

• OS pour l’IoT / les réseaux de capteurs / les petits dispositifs de sécurité (TPM, etc.) / les wearables

[xguru]

Utilise principalement deux cartes matérielles de développement : Hail ( 60 $ ), imix ( 100 $ )

Prend également en charge la famille nRF51XXX de Nordic.

https://www.tockos.org/hardware

[xguru]

PDF des diapositives de présentation de Tock OS (41 p.) : "Tock: A Secure Operating System for Microcontrollers"

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