A hobbyist microkernel written in Rust, featuring a capability-based system similar to seL4.
Home Page:https://source.that.world/source/rux/
Geek Repo:Geek Repo
Github PK Tool:Github PK Tool