GitHub repository: maindotrs/libsel4-sys
Primary language: Rust
Description: Building seL4 and generating Rust bindings based on feL4 configuration