nix: Bump Microkit dependency

Signed-off-by: Nick Spinale <[email protected]>
seL4 · Jun 27, 2024 · 803a75d · 803a75d
1 parent 638112a
commit 803a75d
Show file tree

Hide file tree

Showing 2 changed files with 2 additions and 1 deletion.
diff --git a/hacking/nix/scope/microkit/default.nix b/hacking/nix/scope/microkit/default.nix
@@ -73,6 +73,7 @@ let
         --sel4=${kernelSourcePatched} \
         --boards ${board} \
         --configs ${config} \
+        --skip-tool \
         --skip-docs \
         --skip-tar
 

diff --git a/hacking/nix/scope/sources.nix b/hacking/nix/scope/sources.nix
@@ -62,7 +62,7 @@ in rec {
 
   microkit = fetchGit {
     url = "https://github.com/coliasgroup/microkit.git";
-    rev = "fdcccc7d4af51c35ca2992ba6839955e4b44a039"; # branch "rust-nix"
+    rev = "e300c3298023aad9b2d1df9c36f8229e8001a59a"; # branch "rust-nix"
     local = localRoot + "/microkit";
   };