nix: Add aarch32 config to docs

Signed-off-by: Nick Spinale <[email protected]>
seL4 · Feb 15, 2024 · cd8704e · cd8704e
1 parent 3450b7d
commit cd8704e
Showing 1 changed file with 5 additions and 0 deletions.
diff --git a/hacking/nix/top-level/docs/default.nix b/hacking/nix/top-level/docs/default.nix
@@ -38,6 +38,11 @@ let
         runtime = "sel4-microkit";
         minimal = true;
       }
+      { id = "aarch32-microkit";
+        world = pkgs.host.aarch32.none.this.worlds.default;
+        runtime = "sel4-root-task";
+        minimal = false;
+      }
       { id = "riscv64-root-task";
         world = pkgs.host.riscv64.default.none.this.worlds.default;
         runtime = "sel4-root-task";