From e0bfe6429e3cb9ab25989d2dc05a5ff4dc90b19d Mon Sep 17 00:00:00 2001
From: Michael McInerney <michael.mcinerney@proofcraft.systems>
Date: Thu, 19 Oct 2023 11:44:26 +1030
Subject: [PATCH] rt: update seL4 for MCS testing to current master

Signed-off-by: Michael McInerney <michael.mcinerney@proofcraft.systems>
Change-Id: I57a9da618aa3e6c11f3519882df815a70443c060
---
 mcs.xml | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/mcs.xml b/mcs.xml
index 45edea97..f4afc609 100644
--- a/mcs.xml
+++ b/mcs.xml
@@ -12,5 +12,5 @@
   <project name="isabelle" revision="ts-2023" />
   <project name="l4v" revision="rt" />
   <project name="polyml" path="HOL4/polyml" revision="successful-decompile"/>
-  <project name="seL4" revision="7a0a4438cb8414d6f5c51d0e18669c65bed1cded"/>
+  <project name="seL4" revision="421477565d2910ffe2a37a81260b974c1c355a6a"/>
 </manifest>