Asterinas：一个用 Rust 编写的安全、快速、通用的操作系统内核 (github.com)

Asterinas 是一个安全、快速且通用的操作系统内核，使用 Rust 编写并提供与 Linux 兼容的 ABI。它致力于增强内存安全和开发者友好性，采用 framekernel 架构，使用 Rust 作为唯一编程语言，并将 unsafe Rust 的使用限制在最小范围内。Asterinas 提供更友好的开发体验，允许开发者使用 Rust 语言、OSDK 工具包，并灵活选择内核模块的开源或专有发布方式。