S

sel4-sys

A raw Rust interface to the seL4 kernel

Name Last Update
arch Loading commit data...
seL4 @ 598c9d1e
tools Loading commit data...
.gitignore Loading commit data...
.gitlab-ci.yml Loading commit data...
.gitmodules Loading commit data...
.signing-exceptions Loading commit data...
.travis.yml Loading commit data...
CONTRIBUTING.md Loading commit data...
Cargo.toml Loading commit data...
LICENSE-APACHE Loading commit data...
LICENSE-MIT Loading commit data...
LICENSE_BSD2.txt Loading commit data...
README.md Loading commit data...
build.rs Loading commit data...
lib.rs Loading commit data...
rustfmt.toml Loading commit data...