Skip to content

fix: add extraCmakeFlags arg to seL4-kernel.nix #183

fix: add extraCmakeFlags arg to seL4-kernel.nix

fix: add extraCmakeFlags arg to seL4-kernel.nix #183

seL4-test-armv7l-zynq7000-simulate

succeeded Nov 13, 2024 in 24s