GitHub repository: rel4team/sel4_common
Primary language: Rust
Created: 2024-06-06T10:19:15Z
Description: Basic modules for building ReL4, defining common data structures and kernel configuration