- • 共享 crate 零 #[cfg(target_arch)]
- • ArchProvider trait object 运行时分发
- • 9 crate · 每 crate 职责单一
- • 双二进制: koros + korhv
- • axhal 内部大量 cfg(target_arch)
- • Cargo features 条件编译模块
- • 15+ modules · Unikraft 风格
- • 用户态: axstd + axlibc + POSIX
- • Type-1 Hypervisor (SVM/EL2)
- • Verus 形式化验证分配器
- • 用户态 + POSIX API
- • 网络栈 (smoltcp)
- • 显示/GPU · DMA · IPI
- • FIFO/RR/CFS 多调度器