ci: Test building microkit PD with release configuration

Signed-off-by: Nick Spinale <[email protected]>
seL4 · Aug 9, 2024 · 10daadf · 10daadf
1 parent b06db18
commit 10daadf
Show file tree

Hide file tree

Showing 2 changed files with 12 additions and 1 deletion.
diff --git a/hacking/nix/scope/worlds.nix b/hacking/nix/scope/worlds.nix
@@ -135,6 +135,13 @@ in rec {
             mcs = mk {
               mcs = true;
             };
+            ukitRelease = mk {
+              el2 = true;
+              mcs = true;
+              isMicrokit = true;
+              microkitBoard = "qemu_virt_aarch64";
+              debugBuild = false;
+            };
           };
         };
 

diff --git a/hacking/nix/top-level/default.nix b/hacking/nix/top-level/default.nix
@@ -27,7 +27,11 @@ in {
     let
       worlds = pkgs.host.aarch64.none.this.worlds.qemu-arm-virt.forBuildTests;
     in
-      map (world: world.sel4-capdl-initializer) (lib.attrValues worlds);
+      lib.forEach (lib.attrValues worlds) (world: [
+        world.sel4-capdl-initializer
+      ] ++ lib.optionals world.worldConfig.isMicrokit [
+        world.instances.microkit.tests.passive-server-with-deferred-action.links
+      ]);
 
   sel4testInstances = (lib.mapAttrs (k: v: v.this.sel4test.automate) {
     aarch64 = pkgs.host.aarch64.none;