tock

Tock 是一个面向微控制器的嵌入式操作系统，专为在资源受限设备上安全运行多个互不信任的应用程序而设计。其核心特性包括：基于 Rust 实现的内存安全内核与驱动隔离，结合硬件内存保护单元（MPU）实现应用间及应用与内核间的强隔离；支持 Cortex-M 和 RISC-V 架构；强调端到端安全性与多程序并发执行能力。适用于物联网终端、安全敏感型边缘设备、教学科研用嵌入式平台等需高可靠性与隔离保障的场景。