Tock
Rust ile yazılmış bir mikrodenetleyici işletim sistemi; sürücüler tür sistemiyle, uygulamalar ise donanımla yalıtılır.
Tock, 2015 civarında Stanford'da başladı ve 2017 tarihli araştırma makalesinin başlığı takdire değer ölçüde açık sözlüydü: "Multiprogramming a 64 kB Computer Safely and Efficiently". Çıkış noktası, klasik RTOS'ların her şeyi tek bir adres uzayında çalıştırması ve bu yüzden herhangi bir sürücüdeki hatanın her şeyin üzerine yazabilmesiydi.
Tock dünyayı ikiye böler. Capsule denen sürücüler güvenli Rust ile yazılır ve kendilerine ait olmayan belleğe dokunamaz; derleyici izin vermez. Uygulamalar ise C veya Rust ile, bellek koruma birimi (MPU) tarafından birbirinden ayrılmış ayrı süreçler olarak çalışır ve çöken bir uygulama çekirdek fark etmeden yeniden başlatılabilir. Bedeli daha fazla RAM ve FreeRTOS'a göre daha dik bir öğrenme eğrisidir. Google'ın OpenSK güvenlik anahtarı firmware'i Tock üzerinde çalışır; bu da bu takasın değdiğini düşünen kullanıcının ne tür biri olduğunu anlatıyor.