nix: Work around issue in sel4test

seL4 · Aug 10, 2023 · 5d3c7e3 · 5d3c7e3
1 parent 4b6eb5c
commit 5d3c7e3
Showing 1 changed file with 2 additions and 2 deletions.
diff --git a/hacking/nix/top-level/default.nix b/hacking/nix/top-level/default.nix
@@ -18,10 +18,10 @@ in {
 
   sel4testInstances = (map (x: x.this.sel4test) [
     pkgs.host.aarch64.none
-    pkgs.host.aarch32.none
+    pkgs.host.aarch32.linux # TODO figure out why none doesn't pass
     pkgs.host.riscv64.none
     pkgs.host.riscv32.none
-    # TODO figure out why none doesn't work
+    # TODO figure out why none doesn't build
     pkgs.host.x86_64.linux
     pkgs.host.ia32.linux
   ]);