From 9951e1d445e8555284dcc39e83fc16aa7ef1d78d Mon Sep 17 00:00:00 2001
From: Gerwin Klein <gerwin.klein@proofcraft.systems>
Date: Mon, 22 Jan 2024 12:06:49 +1100
Subject: [PATCH] Bump kernel revision to '494dd2dd9 aarch64/vspace: allow
 flushing larger pages'

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

diff --git a/devel.xml b/devel.xml
index 88071592..53a2eea0 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="0a0739074df9d3ce0ca762abdcafb6fe333f6fb2"/>
+  <project name="seL4" revision="494dd2dd96b7761c27961c49b69dc48831584b71"/>
 </manifest>