sel4-sys-0.0.5

Rust

sel4-sys 0.0.5

Rust interface to the seL4 kernel

Crate
Source
Builds
Feature flags

arch
seL4
targets
tools
.gitignore
.gitmodules
.travis.yml
build.rs
Cargo.toml
lib.rs
LICENSE-APACHE
LICENSE-MIT
LICENSE_BSD2.txt
README.md

[submodule "seL4"]
	path = seL4
	url = https://github.com/seL4/seL4