docs.rs failed to build sel4-0.0.12
Please check the build logs for more information.
See Builds for ideas on how to fix a failed build, or Metadata for how to configure docs.rs builds.
If you believe this is docs.rs' fault, open an issue.
Please check the build logs for more information.
See Builds for ideas on how to fix a failed build, or Metadata for how to configure docs.rs builds.
If you believe this is docs.rs' fault, open an issue.
rust-sel4
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.
Status
Complete, but largely untested.