From 551ff594ee4565581549773adb7a452306aae8c5 Mon Sep 17 00:00:00 2001
From: Ivan Velickovic <i.velickovic@unsw.edu.au>
Date: Wed, 1 May 2024 16:34:47 +1000
Subject: [PATCH] Update to latest seL4

Signed-off-by: Ivan Velickovic <i.velickovic@unsw.edu.au>
---
 README.md | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/README.md b/README.md
index 7b9c2db2..721f1794 100644
--- a/README.md
+++ b/README.md
@@ -115,7 +115,7 @@ Please clone seL4 from:
 
 The correct branch to use is `microkit`.
 
-Testing has been performed using commit `7008430d4432c71a74b2a1da0afae58f7a8658df`.
+Testing has been performed using commit `57975d485397ce1744f7163644dd530560d0b7ec`.
 
 ## Building the SDK