From 2151b3960213590b2aa274dc38a76d6773f38779 Mon Sep 17 00:00:00 2001 From: Hugo McNally <hugo.mcnally@gmail.com> Date: Mon, 24 Jun 2024 16:45:58 +0100 Subject: [PATCH] Updated the CHERIoT RTOS version --- cheriot-rtos | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/cheriot-rtos b/cheriot-rtos index de6da88..7f4c610 160000 --- a/cheriot-rtos +++ b/cheriot-rtos @@ -1 +1 @@ -Subproject commit de6da881f02efb10a6c5fc282cd5fee3f7fd06ed +Subproject commit 7f4c6101c7d7467ef12de37fa2d5ac2cb91cbfce