Tock
Sistema operativo para microcontroladores escrito en Rust, donde el sistema de tipos aísla a los controladores y el hardware aísla a las aplicaciones.
Tock nació hacia 2015 en Stanford, y su artículo de 2017 llevaba un título de una franqueza admirable: "Multiprogramming a 64 kB Computer Safely and Efficiently". El punto de partida era que los RTOS clásicos ejecutan todo en un único espacio de direcciones, de modo que un fallo en cualquier controlador puede pisotear cualquier cosa.
Tock divide el mundo en dos. Los controladores, llamados cápsulas, se escriben en Rust seguro y sencillamente no pueden tocar memoria ajena: el compilador no lo permite. Las aplicaciones corren como procesos separados, en C o Rust, mantenidos aparte por la unidad de protección de memoria, y una aplicación caída se reinicia sin que el núcleo se entere. El precio es más RAM y una curva de aprendizaje más empinada que la de FreeRTOS. El firmware de llaves de seguridad OpenSK de Google funciona sobre Tock, lo que dice bastante sobre quién considera que el trato compensa.