asterinas

Asterinas 旨在成为一个生产级别的 Linux 替代操作系统，强调内存安全与高性能。该项目使用 Rust 语言开发，利用其特性提供更强的内存安全保障和性能优化，同时支持多种架构（如 x86-64、RISC-V、LoongArch）及Intel TDX等技术。Asterinas集成了创新的安全存储解决方案MlsDisk，并通过CortenMM实现了高效且具有强正确性保证的内存管理。适合对安全性、稳定性有高要求的企业级应用场景，特别是需要在多架构环境中运行的工作负载。