rust-sel4

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.

Status

Complete, but largely untested.

lib.rs:

Higher level interfaces to seL4 kernel objects.

The intent of this crate is to provide mechanism, not policy, so the general flavour is still very low-level and architecture-specific details are not abstracted over. However, it should be more convenient than the raw sel4-sys functions and no less performant (once optimized, of course).

Note: when method documentation says "this", it refers to the receiver of the thread, not any global state.