asterinas

Asterinas 是一个基于 Rust 构建的生产级操作系统内核，旨在成为 Linux 的安全高效替代方案。其核心特点是内存安全（依托 Rust 语言特性）、高性能（支持 x86-64、RISC-V、LoongArch 多架构及 Intel TDX 等 TEE 环境）、强隔离保障（集成可信执行环境支持与安全存储方案如 MlsDisk）。项目采用模块化“framekernel”设计，兼顾可验证性与工程实用性。适用于对安全性、实时性与硬件兼容性有较高要求的云基础设施、机密计算和嵌入式系统场景。