From c1ec0594150c8e71c29565de3dccea10c9015ea2 Mon Sep 17 00:00:00 2001
From: Nick Spinale <nick@nickspinale.com>
Date: Thu, 27 Jun 2024 13:06:08 +0000
Subject: [PATCH] nix: Bump seL4 dependency

Signed-off-by: Nick Spinale <nick@nickspinale.com>
---
 hacking/nix/scope/sources.nix | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/hacking/nix/scope/sources.nix b/hacking/nix/scope/sources.nix
index 305f3c52a..a7bcae033 100644
--- 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";
     };