From 45f12b516d832d0d212411ebcde19cc8bc2fd31a Mon Sep 17 00:00:00 2001
From: Nick Spinale <nick@nickspinale.com>
Date: Wed, 23 Aug 2023 08:51:01 +0000
Subject: [PATCH] nix: Bump sel4cp

---
 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 c50d7a75e..1d0c9c6e1 100644
--- a/hacking/nix/scope/sources.nix
+++ b/hacking/nix/scope/sources.nix
@@ -58,7 +58,7 @@ in rec {
 
   sel4cp = fetchGit {
     url = "https://github.com/coliasgroup/sel4cp.git";
-    rev = "93be2c62d5d99e692d9db21d55e9042971ff52ce"; # branch "rust-seL4-nix"
+    rev = "8c361140e483137d0d95d0aaef1fcdc2d77d07ba"; # branch "rust-seL4-nix"
     local = localRoot + "/sel4cp";
     # useLocal = true;
   };