nix: Update Microkit

Signed-off-by: Nick Spinale <[email protected]>
seL4 · Jun 11, 2024 · 74fbe80 · 74fbe80
1 parent 2d44e56
commit 74fbe80
Showing 1 changed file with 1 addition and 1 deletion.
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 = "9ed293c8908de78ccf7925c6e670093adfba59d4"; # branch "rust-nix"
+    rev = "de0f7c3066ae7828d52302cbf7e2acd8fb5e7023"; # branch "rust-nix"
     local = localRoot + "/microkit";
   };