sel4
| Crates.io | sel4 |
| lib.rs | sel4 |
| version | 0.0.12 |
| source | src |
| created_at | 2016-01-02 10:47:04.896033 |
| updated_at | 2017-04-24 04:42:01.526603 |
| description | High-level Rust interface to the seL4 kernel |
| homepage | |
| repository | https://gitlab.com/robigalia/sel4 |
| max_upload_size | |
| id | 3810 |
| size | 92,909 |
Gerwin Klein (lsf37)
documentation
https://doc.robigalia.org/sel4
README
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.