High-level Rust interface to the seL4 kernel
Builds the sel4 kernel and generates Rust bindings around it, as configured by a feL4 manifest
A generated thin wrapper around libsel4.a, with supporting subcrates
A seL4 configuration format, managed by a library
Rust interface to the seL4 kernel
Crate defining the entry point to the initial thread on seL4
A cargo subcommand for automating feL4 (seL4 for Rust) development
A parser for CMakeCache.txt files
Parsing, transformation and validation for feL4 manifests
seL4-inspired capability management for the RuVix Cognition Kernel (ADR-087)
Crate defining the entry point to the initial thread on seL4
No-std kernel interface types for the RuVix Cognition Kernel (ADR-087)