Tock

Tock是一款专为资源受限嵌入式设备设计的操作系统，支持Cortex-M和RISC-V平台，仅需几十KB内存即可安全并发运行多个互不信任的应用。它采用Rust编写内核和驱动，通过编译期检查消除内存安全问题；利用MPU硬件隔离技术，确保单个应用崩溃不影响系统整体。适用于工业控制、物联网网关等高可靠性场景，是嵌入式系统迈向安全化时代的重要选择。