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