From edf2567be9b7f40e4499757516ad6a2c69d6c1c1 Mon Sep 17 00:00:00 2001
From: seL4 CI <ci@sel4.systems>
Date: Wed, 4 Dec 2024 22:15:39 +0000
Subject: [PATCH] [CI] Update seL4 to cpp-compatible version

Change-Id: I7a904af7b92786db0c92e48023ce7283ee0dae0a
---
 devel.xml | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/devel.xml b/devel.xml
index 4b06151..5c17e61 100644
--- a/devel.xml
+++ b/devel.xml
@@ -12,5 +12,5 @@
   <project name="isabelle" revision="ts-2024" />
   <project name="l4v" />
   <project name="polyml" path="HOL4/polyml" revision="successful-decompile"/>
-  <project name="seL4" revision="5041edaad5bb93581bd85689ee848381a0a24cce"/>
+  <project name="seL4" revision="5632069576b94c0dec0e0a6fcc6267aa0d9b545c"/>
 </manifest>