A Rust interface to the seL4 kernel. This crate provides the same interface that libsel4 does, with a few C-isms reduced.
rust seL4 bindings
A Rust interface to the seL4 kernel. This crate provides the same interface that libsel4 does, with a few C-isms reduced.
rust seL4 bindings
Apache License 2.0