-
Cortex-M / RISC-V tabanlı gömülü platformlar
-
Birden fazla uygulamayı aynı anda güvenli şekilde çalıştırmak üzere tasarlanmıştır
-
Çekirdek/aygıt sürücüleri Rust ile yazılmıştır
-
IoT/sensör ağları/küçük güvenlik cihazları (TPM vb.)/giyilebilir cihazlar için bir işletim sistemi
2 yorum
Başlıca iki geliştirme donanımı kullanılıyor: Hail ( $60 ), imix ( $100 )
Bunun dışında Nordic'in nRF51XXX ailesi de destekleniyor.
https://www.tockos.org/hardware
Tock OS tanıtım slaytı PDF'si (41 sayfa): "Tock: A Secure Operating System for Microcontrollers"
https://platformlab.stanford.edu/Presentations/2018/…