From fe54b86d371024db6b9f76117c9fbec62d4623d4 Mon Sep 17 00:00:00 2001
From: Gerwin Klein <gerwin.klein@proofcraft.systems>
Date: Thu, 8 Feb 2024 15:36:18 +1100
Subject: [PATCH] Bump kernel revision to '9bac64c6c libsel4: Eliminate unnamed
 enums'

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

diff --git a/devel.xml b/devel.xml
index 433e049c..ba19424e 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="7d3353332ade77483fe65c121896183569cbd8d5"/>
+  <project name="seL4" revision="9bac64c6ceb1ece54fe00eae44065a836bd224f3"/>
 </manifest>