Tock 是一个嵌入式操作系统,设计用于在基于 Cortex-M 和 RISC-V 的嵌入式平台上运行多个并发的、相互不信任的应
Tock是一个嵌入式操作系统,设计用于在基于Cortex-M和RISC-V的嵌入式平台上运行多个并发的、相互不信任的应用程序。Tock的设计以保护为中心,防止潜在的恶意应用程序和设备驱动程序。Tock使用两种机制来保护操作系统的不同组件。首先,内核和设备驱动程序是用Rust编写的,Rust是一种提供编译时内存安全和类型安全的系统编程语言。Tock使用Rust来保护内核(例如调度程序和硬件抽象层)免受平台特定设备驱动程序的影响,并将设备驱动程序彼此隔离。其次,Tock使用内存保护单元将应用程序彼此隔离并与内核隔离