Asterinas: A new Linux-compatible kernel project
a year ago
- #Kernel
- #Linux
- #Rust
- Asterinas是中国南方科技大学开发的基于Rust语言的新型Linux-ABI兼容内核项目
- 其创新性地采用'框架内核架构'，融合单体内核与微内核设计优势，兼顾安全性与效率
- 核心设计理念是将非安全Rust代码封装为库，使内核其余部分能使用安全抽象层
- 该项目在保持Linux兼容性的同时，致力于构建经过形式化验证的精简可信计算基(TCB)
- 正与CertiK公司合作，使用Verus工具进行形式化验证
- 支持x86和RISC-V架构，目前已实现206个Linux系统调用（Linux 6.7标准为368个）
- 包含OSTD（Rust操作系统框架）和OSDK（内核开发的Cargo扩展工具）两大组件
- 主要面向云计算领域，特别是中国阿里云平台，未来计划支持容器主机操作系统
- 与'Linux中的Rust'项目不同，Asterinas选择从零构建新内核而非改造现有Linux
- 该项目尚处早期开发阶段，虽未发布正式版本，但已展现出操作系统创新的巨大潜力