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-camkes-vm-examples-armv7l-exynos5422

succeeded Nov 13, 2024 in 32s