[CI] Update seL4 to cpp-compatible version

Change-Id: Ib39d322f358714caea999a82183365b6020a00a6
seL4 · Jul 1, 2024 · ca75144 · ca75144
1 parent 80588c8
commit ca75144
Showing 1 changed file with 1 addition and 1 deletion.
diff --git 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="a6129c15d36ce929f790d50260ac7aab22442496"/>
+  <project name="seL4" revision="4f1e7bdfa09def32615a867e9a78d5643db4bfad"/>
 </manifest>