Asterinas: A Linux ABI-compatible, Rust-based framekernel OS (via jmillikin) — discussion
#osdev #rust
