GitHub repository: rcore-os/zCore
Primary language: Rust
Description: Reimplement Zircon microkernel in Rust.