rust-sel4

A Rust interface to the seL4 kernel. This crate provides the same interface that libsel4 does, with a few C-isms reduced.

Name		Name	Last commit message	Last commit date
Latest commit History 41 Commits
arch		arch
seL4 @ f2b2301		seL4 @ f2b2301
targets		targets
tools		tools
.gitignore		.gitignore
.gitmodules		.gitmodules
.travis.yml		.travis.yml
Cargo.toml		Cargo.toml
LICENSE-APACHE		LICENSE-APACHE
LICENSE-MIT		LICENSE-MIT
LICENSE_BSD2.txt		LICENSE_BSD2.txt
README.md		README.md
build.rs		build.rs
lib.rs		lib.rs

Provide feedback