replace dynamic libraries with libraries

Signed-off-by: Birgit Brecknell <[email protected]>
seL4 · Jul 31, 2024 · 2debab4 · 2debab4
1 parent 02f9734
commit 2debab4
Showing 1 changed file with 4 additions and 4 deletions.
diff --git a/_includes/nav-sidebar.html b/_includes/nav-sidebar.html
@@ -85,6 +85,10 @@
       <li><a href="{{url}}/tutorials/libraries-3">Processes & Elf loading</a></li>
       <li><a href="{{url}}/tutorials/libraries-4">Timer</a></li>
     </ul>
+    <li>Microkit</li>
+    <ul>
+      <li><a href="https://trustworthy.systems/projects/microkit/tutorial/">Tutorial</a></li>
+    </ul>
     <li>CAmkES</li>
     <ul>
       <li><a href="{{url}}/tutorials/hello-camkes-0">Hello CAmkES</a></li>
@@ -94,10 +98,6 @@
       <li><a href="{{url}}/tutorials/camkes-vm-linux">CAmkES VM</a></li>
       <li><a href="{{url}}/tutorials/camkes-vm-crossvm">CAmkES Cross VM Connectors</a></li>
     </ul>
-    <li>Microkit</li>
-    <ul>
-      <li><a href="https://trustworthy.systems/projects/microkit/tutorial/">Tutorial</a></li>
-    </ul>
     <li>Rust</li>
     <ul>
       <li><a href= "https://github.com/seL4/rust-sel4">GitHub</a></li>