Asterinas是一个基于Rust构建的Framekernel操作系统，兼容Linux ABI，具有小型TCB。它通过限制不安全代码实现内核内存安全，支持210多个Linux系统调用，兼容x86-64和RISC-V架构，未来计划扩展到更多平台。