Tock OS - Sistem operasi untuk mikrokontroler berdaya rendah dan bermemori kecil

• Platform embedded berbasis Cortex-M / RISC-V

• Dirancang untuk menjalankan beberapa aplikasi secara bersamaan dengan aman

• Kernel/driver perangkat ditulis dengan Rust

• OS untuk IoT/jaringan sensor/perangkat keamanan kecil (TPM, dll.)/wearable

[xguru]

Terutama menggunakan dua jenis perangkat keras pengembangan: Hail ( $60 ), imix ( $100 )

Selain itu, juga mendukung keluarga Nordic nRF51XXX.

https://www.tockos.org/hardware

[xguru]

PDF slide pengantar Tock OS (41 halaman): "Tock: A Secure Operating System for Microcontrollers"

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