Tock
Un sistema operativo per microcontrollori scritto in Rust, in cui i driver sono isolati dal sistema dei tipi e le applicazioni dall'hardware.
Tock nacque intorno al 2015 a Stanford, e il suo articolo scientifico del 2017 portava il titolo, di una franchezza ammirevole, «Multiprogramming a 64 kB Computer Safely and Efficiently». Il punto di partenza era che i classici RTOS eseguono tutto in un unico spazio di indirizzamento, quindi un bug in un qualsiasi driver può sovrascrivere qualunque cosa.
Tock divide il mondo in due. I driver, detti capsule, sono scritti in Rust sicuro e semplicemente non possono toccare la memoria altrui: il compilatore non lo permette. Le applicazioni girano come processi separati, in C o in Rust, tenuti distinti dalla memory protection unit, e un'app andata in crash può essere riavviata senza che il kernel se ne accorga. Il prezzo è più RAM e una curva di apprendimento più ripida rispetto a FreeRTOS. Il firmware della chiave di sicurezza OpenSK di Google gira su Tock, il che dice molto sul tipo di utente che ritiene valido questo compromesso.