Tock是一种嵌入式操作系统，旨在在基于Cortex-M和RISC-V的嵌入式平台上运行多个并发，互不信任的应用程序。 Tock的设计围绕保护免受潜在恶意应用程序和设备驱动程序的侵害。 Tock使用两种机制来保护操作系统的不同组件。 首先，内核和设备驱动程序是用Rust编写的，Rust是一种系统编程语言，可提供编译时内存安全性，类型安全性和严格的别名。 Tock使用Rust来保护内核（例如调度程序和硬件抽象层）免受平台特定的设备驱动程序的侵害，并使设备驱动程序彼此隔离。 其次，Tock使用内存保