tock

Tock 是一个为微控制器设计的安全嵌入式操作系统，特别适用于运行多个并发且互不信任的应用程序。它支持基于 ARM Cortex-M 和 RISC-V 的平台。Tock 的核心功能包括使用 Rust 语言编写内核和设备驱动程序，提供编译时内存安全和类型安全，以及利用内存保护单元隔离应用程序与内核。这种设计确保了即使在存在潜在恶意应用或设备驱动的情况下也能保持系统的稳定性和安全性。Tock 适合需要高度安全性和资源受限环境下的物联网设备、传感器网络以及其他嵌入式系统应用场景。