GitHub repository: rel4team/sel4_vspace
Primary language: Rust
Created: 2024-06-06T10:30:15Z
Description: Basic module for building ReL4, defining the data structure and operation interface of the virtual address space.