tock,一种基于CortexM单片机的安全嵌入式操作Tock是一种嵌入式操作系统,用于在基于distrustful的嵌入式平台上运行多个并发的。围绕潜在恶意应用程序和设备驱动程序的保护围绕保护的设计。Tock使用两种机制保护操作系统的不同组件。首先,内核和设备驱动程序