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
Complete, but largely untested.
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.