R

rust-sel4

rust-sel4

Crates.io

Documentation

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.