Tock
Een in Rust geschreven besturingssysteem voor microcontrollers, waarin drivers door het typesysteem en applicaties door de hardware worden geïsoleerd.
Tock ontstond rond 2015 in Stanford en het onderzoeksartikel uit 2017 droeg de bewonderenswaardig botte titel ‘Multiprogramming a 64 kB Computer Safely and Efficiently’. Het uitgangspunt was dat klassieke RTOS'en alles in één adresruimte draaien, waardoor een bug in een willekeurige driver overal in kan schrijven.
Tock verdeelt de wereld in tweeën. Drivers, capsules genoemd, zijn in veilige Rust geschreven en kunnen simpelweg niet bij geheugen dat niet van hen is — de compiler laat het niet toe. Applicaties draaien als aparte processen, in C of Rust, gescheiden door de memory protection unit, en een gecrashte app kan opnieuw worden gestart zonder dat de kernel het merkt. De prijs is meer RAM en een steilere leercurve dan FreeRTOS. De OpenSK-beveiligingssleutelfirmware van Google draait op Tock, wat veel zegt over wie die ruil de moeite waard vindt.