GitHub repository: rel4team/sel4_cspace
Primary language: Rust
Created: 2024-06-06T10:27:01Z
Description: Basic module for building ReL4, defining the data structure and operation interface of the capability space.