nix: Bump Microkit

seL4 · Oct 31, 2023 · 5a1b1b6 · 5a1b1b6
1 parent 1a35d20
commit 5a1b1b6
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/hacking/nix/scope/sources.nix b/hacking/nix/scope/sources.nix
@@ -65,7 +65,7 @@ in rec {
 
   microkit = fetchGit {
     url = "https://github.com/coliasgroup/microkit.git";
-    rev = "80069432ef126411128f2e2c3c95a6d171cb83fe"; # branch "rust-nix"
+    rev = "3dbabd1205cbee933b1ef42534d7a446f78821d0"; # branch "rust-nix"
     local = localRoot + "/microkit";
     # useLocal = true;
   };