Tock OS – Betriebssystem für stromsparende Mikrocontroller mit wenig Speicher

• Eingebettete Plattformen auf Basis von Cortex-M / RISC-V

• Entwickelt, um mehrere Anwendungen gleichzeitig sicher auszuführen

• Kernel/Gerätetreiber sind in Rust geschrieben

• Ein OS für IoT, Sensornetzwerke, kleine Sicherheitsgeräte (z. B. TPM), Wearables usw.

[xguru]

Hauptsächlich werden zwei Hardware-Plattformen für die Entwicklung verwendet: Hail ( $60 ), imix ( $100 )

Außerdem wird die nRF51XXX-Familie von Nordic unterstützt.

https://www.tockos.org/hardware

[xguru]

Einführungsfolien zu Tock OS als PDF (41 S.): "Tock: A Secure Operating System for Microcontrollers"

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