Skip to content

nix: wrap the microkit SDK as a Nix package - #615

Open
r4v3n6101 wants to merge 1 commit into
seL4:mainfrom
r4v3n6101:nix-packaging
Open

nix: wrap the microkit SDK as a Nix package#615
r4v3n6101 wants to merge 1 commit into
seL4:mainfrom
r4v3n6101:nix-packaging

nix: wrap the microkit SDK as a Nix package

2688493
Select commit
Loading
Failed to load commit list.
DCO / DCO succeeded Sep 30, 2026 in 0s

DCO

All commits are signed off!

View more details on DCO