From 5e30ff01a3c201492ff6b9fcadbc5aec6a241720 Mon Sep 17 00:00:00 2001
From: Rafal Kolanski <rafal.kolanski@proofcraft.systems>
Date: Fri, 27 Oct 2023 10:26:29 +1100
Subject: [PATCH] Bump kernel revision to '4f9b73652 aarch64: use VS prefix for
 vspace_cap fields'

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

diff --git a/devel.xml b/devel.xml
index 62543029..501ac6e2 100644
--- 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="908cac720220b88f5899eeb26dc1f75bfc65f3ae"/>
+  <project name="seL4" revision="4f9b736526c8a0451ed148a637ec4191718306d5"/>
 </manifest>