GitHub repository: DLR-FT/seL4-nix-utils
Primary language: Nix
Created: 2024-02-08T11:52:15Z
Description: Nix tooling for the seL4 microkernel & ecosystem