Tock

Tock powstał około 2015 roku na Stanfordzie, a jego artykuł naukowy z 2017 roku nosił szczerze bezpośredni tytuł „Multiprogramming a 64 kB Computer Safely and Efficiently”. Punktem wyjścia było to, że klasyczne RTOS-y uruchamiają wszystko w jednej przestrzeni adresowej, więc błąd w dowolnym sterowniku może nadpisać cokolwiek.

Tock dzieli świat na dwie części. Sterowniki, zwane capsules, są pisane w bezpiecznym Ruście i po prostu nie mogą dotknąć nieswojej pamięci — kompilator na to nie pozwoli. Aplikacje działają jako osobne procesy, w C lub Rust, rozdzielone jednostką ochrony pamięci (MPU), a zawieszoną aplikację można zrestartować bez wiedzy jądra. Koszt to więcej RAM-u i bardziej stroma krzywa uczenia niż w FreeRTOS. Na Tocku działa firmware kluczy bezpieczeństwa Google OpenSK, co sporo mówi o tym, kto uważa taki kompromis za opłacalny.