diff --git a/hacking/nix/top-level/docs/default.nix b/hacking/nix/top-level/docs/default.nix
index 1766e72dc..42156f95c 100644
--- 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 {