nix: Add riscv64-root-task docs view

seL4 · Sep 8, 2023 · 3fe879a · 3fe879a
1 parent f1cc9f3
commit 3fe879a
Showing 1 changed file with 5 additions and 5 deletions.
diff --git a/hacking/nix/top-level/docs/default.nix b/hacking/nix/top-level/docs/default.nix
@@ -32,16 +32,16 @@ let
         runtime = "sel4cp";
         minimal = true;
       }
+      { id = "riscv64-root-task";
+        world = pkgs.host.riscv64.none.this.worlds.default;
+        runtime = "sel4-root-task";
+        minimal = false;
+      }
       { id = "x86_64-root-task";
         world = pkgs.host.x86_64.none.this.worlds.default;
         runtime = "sel4-root-task";
         minimal = false;
       }
-      { id = "riscv64-minimal";
-        world = pkgs.host.riscv64.none.this.worlds.default;
-        runtime = null;
-        minimal = true;
-      }
     ];
 
   mk = { views }: rec {