文件名称：用于微控制器的安全嵌入式操作系统
文件大小：15.07MB
文件格式：ZIP
更新时间：2024-07-18 11:21:51
rust iot arm microcontroller embedded
Tock 是一种嵌入式操作系统，设计用于在基于 Cortex-M 和 RISC-V 的嵌入式平台上运行多个并发、互不信任的应用程序。Tock 的设计以保护为中心，包括潜在恶意应用程序和设备驱动程序。Tock 使用两种机制来保护操作系统的不同组件。首先，内核和设备驱动程序是用 Rust 编写的，这是一种提供编译时内存安全、类型安全和严格别名的系统编程语言。Tock 使用 Rust 来保护内核（例如调度程序和硬件抽象层）不受平台特定设备驱动程序的影响，并将设备驱动程序相互隔离。其次，Tock 使用内存保护单元来隔离应用程序和内核。学到更多您希望如何开始？了解 Tock 的工作原理Tock 记录在doc文件夹中。通读那里的指南，了解 Tock 的概述和设计、它的实现等等。使用托克按照我们的入门指南设置您的系统以编译 Tock。前往硬件页面了解 Tock 支持的硬件平台。还可以查看Tock Book以逐步介绍如何启动和运行 Tock。查找在用Rust和C编写的 Tock 内核之上运行的示例应用程序。开发股票阅读我们的入门指南以获取正确版本的 Rust 编译器，然后查看/kernel 、/cap