nix: Enable CapDL tests on 32-bit configurations

Signed-off-by: Nick Spinale <[email protected]>
seL4 · Mar 5, 2024 · d3d17cb · d3d17cb
1 parent 8b8465a
commit d3d17cb
Showing 1 changed file with 3 additions and 3 deletions.
diff --git a/hacking/nix/scope/world/instances/default.nix b/hacking/nix/scope/world/instances/default.nix
@@ -36,11 +36,11 @@
 let
   inherit (worldConfig) isMicrokit canSimulate;
 
-  haveFullRuntime = !isMicrokit && (hostPlatform.isAarch || hostPlatform.isRiscV || hostPlatform.isx86_64);
-  haveMinimalRuntime = haveFullRuntime;
+  haveFullRuntime = !isMicrokit;
+  haveMinimalRuntime = !isMicrokit;
   haveUnwindingSupport = !hostPlatform.isAarch32;
   haveKernelLoader = hostPlatform.isAarch || hostPlatform.isRiscV;
-  haveCapDLInitializer = hostPlatform.isAarch64 || hostPlatform.isRiscV64 || hostPlatform.isx86_64;
+  haveCapDLInitializer = true;
 
   maybe = condition: v: if condition then v else null;