Bump kernel revision to '241d8d12c aarch64/vspace: fix error reportin…

…g in decode' Change-Id: Iaf3cda96b58c65717ae1aeda42c9da440a8c538b
seL4 · Jan 25, 2024 · a29029c · a29029c
1 parent 9c3044e
commit a29029c
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="9ec543ce5a62e9593cf7f53dacd8b5f2eb939469"/>
+  <project name="seL4" revision="241d8d12c7ce99ec87147ba72b692716cb1c118f"/>
 </manifest>