基于Rust构建的单片机Ariel RTOS，支持Cortex-M、RISC-V 和 Xtensa

eric2013

https://github.com/ariel-os/ariel-os/

Ariel OS 是一款面向安全、内存安全、低功耗物联网（IoT）的操作系统。它完全基于 Rust 语言构建，支持基于 32 位微控制器架构（Cortex-M、RISC-V 和 Xtensa）的硬件。

目标与设计
Ariel OS 建立在嵌入式 Rust 生态中现有项目的基础之上，包括 Embassy、esp-hal、defmt、probe-rs、sequential-storage 和 embedded-test。这些项目为各类嵌入式应用提供了高质量的构建模块，但并未实现如 RIOT 或 Zephyr 等当代基于 C 的微控制器操作系统那样高度集成的开发体验。

因此，Ariel OS 采用了这样的设计思路：在集成多种异构现有组件库的同时，补充操作系统缺失的功能——例如抢占式多核调度器、可移植外设 API、增强型网络安全设施，以及用于整体整合的元构建系统 laze。最终成果如何？我们打造了一个强大的框架，让开发者能够以最简化的模板编写可移植的嵌入式 Rust 应用，享受开箱即用的完整体验。

tovinz

rust的一个很大的优点就是那些开源的项目拉下来就能跑，不会有什么环境配置的问题

tovinz

tock/tock: A secure embedded operating system for microcontrollers
Introduction - The Tock Book
Tock是一款嵌入式操作系统，旨在基于Cortex-M和RISC-V的嵌入式平台上运行多个并发且互不信任的应用程序。Tock的设计核心是保护机制，既要防范潜在的恶意应用程序，也要保护设备驱动程序。Tock采用两种机制来保护操作系统的不同组件。首先，内核和设备驱动程序均以Rust编写，这是一种系统编程语言，可提供编译时的内存安全性和类型安全性。Tock利用Rust保护内核（例如调度程序和硬件抽象层）免受特定平台设备驱动程序的影响，并实现设备驱动程序之间的隔离。其次，Tock使用内存保护单元实现应用程序之间以及应用程序与内核之间的隔离。

eric2013

tovinz 发表于 2026-1-31 08:51
tock/tock: A secure embedded operating system for microcontrollers
Introduction - The Tock Book
To ...

谢谢分享，我也收录下。

tovinz

eric2013 发表于 2026-1-31 10:44
谢谢分享，我也收录下。

还有这个账号，很多嵌入式 rust 的内容
https://github.com/ImplFerris

eric2013

tovinz 发表于 2026-1-31 10:52
还有这个账号，很多嵌入式 rust 的内容
https://github.com/ImplFerris

谢谢分享。