From e3b0bf06c3cad3808d1670c2bd69d40eae254523 Mon Sep 17 00:00:00 2001
From: Gerwin Klein <gerwin.klein@proofcraft.systems>
Date: Fri, 31 Jan 2025 09:41:07 +1100
Subject: [PATCH] bump kernel revision to 'dfd0853c5 vspace: userError for no
 unallocated ASID pools'

Change-Id: I93ee3622617901b05b55cc0fa313451bc2b52b67
---
 devel.xml | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/devel.xml b/devel.xml
index be57384..5e00c54 100644
--- 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>