Documentation
A high-level Rust interface to the seL4 kernel. This crate builds on top of sel4-sys to provide an easier to use and type-safe API.
