bump kernel revision to 'dfd0853c5 vspace: userError for no unallocat…

…ed ASID pools' Change-Id: I93ee3622617901b05b55cc0fa313451bc2b52b67
seL4 · Jan 30, 2025 · e3b0bf0 · e3b0bf0
1 parent a1e47c5
commit e3b0bf0
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="1732c05ef6b75fd18ce5161d099f0d73e7fcb6a3"/>
+  <project name="seL4" revision="dfd0853c5d589ddfb0bafb3871929be47aeed58b"/>
 </manifest>