【Rust日报】2025-06-14 蚂蚁星绽 Asterinas - 兼容 Linux ABI 的 Framekernel OS，具有最小 TCB
文章：蚂蚁星绽 Asterinas - 兼容 Linux ABI 的 Framekernel OS，具有最小 TCB 作者：田洪亮 本文提炼了其研究论文 USENIX ATC 2025《Asterinas：一种兼容 Linux ABI、基于 Rust 的 Framekernel OS，具有小型且完善的...
Asterinas是一个基于Rust构建的Framekernel操作系统，兼容Linux ABI，具有小型TCB。它通过限制不安全代码实现内核内存安全，支持210多个Linux系统调用，兼容x86-64和RISC-V架构，未来计划扩展到更多平台。
