nix: Bump seL4 dependency

Signed-off-by: Nick Spinale <[email protected]>
seL4 · Jun 27, 2024 · c1ec059 · c1ec059
1 parent 803a75d
commit c1ec059
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/hacking/nix/scope/sources.nix b/hacking/nix/scope/sources.nix
@@ -49,7 +49,7 @@ in rec {
   seL4 = {
     rust = fetchGit {
       url = "https://github.com/coliasgroup/seL4.git";
-      rev = "49a7a18466d5e73c4f22909826bf512971fc9117"; # branch "rust-testing"
+      rev = "c92dc2d48539a91da8280dad056b1f1692c44c07"; # branch "rust-testing"
       local = localRoot + "/seL4";
     };