[CI] Update seL4 to cpp-compatible version

Change-Id: If5fbe17416fd9c7c0586f48e6fee82dfc68743ca
seL4 · Jan 30, 2024 · 989d93b · 989d93b
1 parent d754dd9
commit 989d93b
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-2023" />
   <project name="l4v" />
   <project name="polyml" path="HOL4/polyml" revision="successful-decompile"/>
-  <project name="seL4" revision="eda441ebe77516c9c123b730e0d255c7366e93d4"/>
+  <project name="seL4" revision="91ec17c5bf29a4ef8b98b8f9769580b2442eb810"/>
 </manifest>