#bit #object #root #slot #bits #cap

nightly sel4

High-level Rust interface to the seL4 kernel

11 releases

Uses old Rust 2015

0.0.12 Apr 24, 2017
0.0.11 Jan 11, 2017
0.0.7 Dec 31, 2016
0.0.6 Nov 7, 2016
0.0.1 Jan 2, 2016

46 downloads per month
Used in sel4-start

MIT/Apache

72KB
1.5K SLoC

rust-sel4

Crates.io

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.

Dependencies

~2MB
~45K SLoC