Tock
Operativsystem för mikrokontroller skrivet i Rust, där drivrutiner isoleras av typsystemet och program av hårdvaran.
Tock började runt 2015 vid Stanford, och forskningsartikeln från 2017 hade den talande titeln "Multiprogramming a 64 kB Computer Safely and Efficiently". Utgångspunkten var att klassiska RTOS kör allt i samma adressrymd: en bugg i en drivrutin kan skriva över vad som helst.
Tock delar därför världen i två. Drivrutiner, så kallade kapslar, skrivs i säker Rust och kan inte röra annat minne än sitt eget — kompilatorn vägrar. Applikationer körs som separata processer, i C eller Rust, och hålls isär av minnesskyddsenheten. En kraschad app startas om utan att kärnan märker något. Priset är mer RAM och en brantare inlärningskurva än för FreeRTOS. Googles säkerhetsnyckelprojekt OpenSK bygger på Tock, vilket säger något om vilken sorts användare som tycker att det är värt det.