Bump kernel revision to '9bac64c6c libsel4: Eliminate unnamed enums'

Change-Id: If5d1797ef60831a3582fa7bbf0caafa334930a09
seL4 · Feb 8, 2024 · fe54b86 · fe54b86
1 parent 478fb6d
commit fe54b86
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="7d3353332ade77483fe65c121896183569cbd8d5"/>
+  <project name="seL4" revision="9bac64c6ceb1ece54fe00eae44065a836bd224f3"/>
 </manifest>