A hobbyist microkernel written in Rust, featuring a capability-based system similar to seL4.
No resources for this project.