Tock
Операционная система для микроконтроллеров на Rust, где драйверы изолированы системой типов, а приложения — оборудованием.
Tock возник около 2015 года в Стэнфорде, а его научная статья 2017 года носила прямолинейное название «Multiprogramming a 64 kB Computer Safely and Efficiently». Отправной точкой было то, что классические RTOS запускают всё в одном адресном пространстве, поэтому ошибка в любом драйвере может затереть что угодно.
Tock делит мир надвое. Драйверы, называемые капсулами (capsules), пишутся на безопасном Rust и попросту не могут трогать чужую память — компилятор не позволит. Приложения работают как отдельные процессы, на C или Rust, разделённые блоком защиты памяти, и упавшее приложение можно перезапустить, не потревожив ядро. Цена — больше ОЗУ и более крутая кривая обучения, чем у FreeRTOS. На Tock работает прошивка ключей безопасности Google OpenSK, что неплохо говорит о том, кто считает такой размен оправданным.