GitHub repository: rel4team/sel4_ipc
Primary language: Rust
Created: 2024-06-06T10:38:49Z
Description: Basic module for building ReL4, defining the data structure and operation interface of IPC.