nix: Polish Ring test

Signed-off-by: Nick Spinale <[email protected]>
seL4 · Feb 14, 2024 · 3450b7d · 3450b7d
1 parent e901cb2
commit 3450b7d
Showing 1 changed file with 4 additions and 3 deletions.
diff --git a/hacking/nix/scope/world/instances/default.nix b/hacking/nix/scope/world/instances/default.nix
@@ -78,8 +78,9 @@ in rec {
     tests.root-task.panicking.byConfig.abort.withoutAlloc
     tests.root-task.panicking.byConfig.unwind.withAlloc
     tests.root-task.panicking.byConfig.unwind.withoutAlloc
-    tests.root-task.default-test-harness
     tests.root-task.c
+    tests.root-task.default-test-harness
+    # tests.root-task.ring
     tests.capdl.threads
     tests.capdl.utcover
     microkit.examples.hello
@@ -212,7 +213,7 @@ in rec {
         };
       });
 
-      ring = maybe (haveFullRuntime && haveUnwindingSupport) (
+      ring = maybe (haveFullRuntime && haveUnwindingSupport && !hostPlatform.isRiscV32) (
         let
           rootTask = lib.makeOverridable mkTask {
             rootCrate = crates.ring;
@@ -256,7 +257,7 @@ in rec {
         in {
           inherit byElf;
 
-          all = mkRunTests "run-all-ring-test" (lib.flip lib.mapAttrsToList byElf (k: v: lib.nameValuePair k v.automate));
+          automate = mkRunTests "run-all-ring-test" (lib.flip lib.mapAttrsToList byElf (k: v: lib.nameValuePair k v.automate));
         }
       );