GitHub repository: myg133/zCore
Description: Reimplement Zircon microkernel in Rust.