Bump kernel revision to 'ecec5e4af pc99: only access real IOAPIC regi…

…sters' Change-Id: I3c6fc32381b39fa9c04833158ae7e54834979735
seL4 · Jun 12, 2024 · 9d5b812 · 9d5b812
1 parent 83834ea
commit 9d5b812
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="bf2134e6def74d77eaa84ccb4709b946ee7e7565"/>
+  <project name="seL4" revision="ecec5e4afb8282102cc7425dee6b42051aa7cf3f"/>
 </manifest>