nix: Test CapDL loader with added spec

Signed-off-by: Nick Spinale <[email protected]>
seL4 · Jul 11, 2024 · 4fa77ad · 4fa77ad
1 parent 4eabf4a
commit 4fa77ad
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/hacking/nix/scope/world/instances/default.nix b/hacking/nix/scope/world/instances/default.nix
@@ -298,7 +298,7 @@ in rec {
           release = true; # test optimizations
         };
         rootTask = mkCapDLInitializer {
-          small = true;
+          small = false;
           spec = mkSimpleCompositionCapDLSpec {
             script = sources.srcRoot + "/crates/private/tests/capdl/threads/cdl.py";
             config = {