GitHub repository: rel4team/sel4_task
Primary language: Rust
Created: 2024-06-06T10:36:33Z
Description: Basic module for building ReL4, defining the data structure and operation interface of task and scheduler.