bump kernel revision to '03ad568c8 move cache flush from untyped rese…

…t to retype' Change-Id: Ib9423baeeba6adc9640630ac836061af4e729322
seL4 · Oct 24, 2024 · 87ac425 · 87ac425
1 parent 5379277
commit 87ac425
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="5dd34db6298a476a57b89cf24176dd15e674eae5"/>
+  <project name="seL4" revision="03ad568c89087f146e19805c902d3caf05d340da"/>
 </manifest>