fix: update microkit-sdk

Upstream had an off-by-one error: seL4/microkit@9b4e73f
DLR-FT · Jun 12, 2024 · 1c56a35 · 1c56a35
1 parent 06b3bdb
commit 1c56a35
Showing 1 changed file with 2 additions and 2 deletions.
diff --git a/pkgs/microkit-sdk.nix b/pkgs/microkit-sdk.nix
@@ -34,8 +34,8 @@ stdenv.mkDerivation rec {
   src = fetchFromGitHub {
     owner = "seL4";
     repo = "microkit";
-    rev = "6f7cafc9563d23aa18fb5776d4acb087873a9d28";
-    hash = "sha256-zAKjXLCdCbwC5H32mXKfuAtHvXSe466q+m19wnK0gys=";
+    rev = "9b4e73f5e1cb2dc18c94ceb40453552a0c2e2e69";
+    hash = "sha256-iUUrrNBbNT9uVEBzwvBim4aCMYxCzIoiis+NK5Vu84U=";
   };
 
   cargoRoot = "tool/microkit/";