From 3fe879a486ca545235d22389aeee35c2cd888cb1 Mon Sep 17 00:00:00 2001
From: Nick Spinale <nick@nickspinale.com>
Date: Fri, 8 Sep 2023 19:28:34 +0000
Subject: [PATCH] nix: Add riscv64-root-task docs view

---
 hacking/nix/top-level/docs/default.nix | 10 +++++-----
 1 file changed, 5 insertions(+), 5 deletions(-)

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 {