From c642bbab4b524626014ea19f28d4e9e5032936d7 Mon Sep 17 00:00:00 2001
From: seL4 CI <ci@sel4.systems>
Date: Thu, 1 Feb 2024 00:16:50 +0000
Subject: [PATCH] Updating default.xml

Change-Id: I6f61fb5622b398d564a261a203ae61dc43098524
---
 default.xml | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/default.xml b/default.xml
index b262e9c5..7bd14238 100644
--- a/default.xml
+++ b/default.xml
@@ -15,7 +15,7 @@
   <project name="camkes-tool.git" path="projects/camkes-tool" revision="89af7196bd088c04a1875271a73ade4b4959368e" upstream="master" dest-branch="master">
     <linkfile src="docs/index.md" dest="camkes_README.md"/>
   </project>
-  <project name="camkes-vm-examples.git" path="projects/vm-examples" revision="10405f662af78f6437210b5607149523bbc71d8f" upstream="master" dest-branch="master">
+  <project name="camkes-vm-examples.git" path="projects/vm-examples" revision="6656ebe20269383a2e6ca51b698eac1e9814dd9d" upstream="master" dest-branch="master">
     <linkfile src="easy-settings.cmake" dest="easy-settings.cmake"/>
   </project>
   <project name="camkes-vm-images.git" path="projects/camkes-vm-images" revision="38cc97b913d11a35dd95f4fec47c742a0c84f94a" upstream="master" dest-branch="master"/>
@@ -39,5 +39,5 @@
     <linkfile src="cmake-tool/init-build.sh" dest="init-build.sh"/>
   </project>
   <project name="sel4runtime" path="projects/sel4runtime" revision="bb75358167fe8bdc0e3df565bb419dc6eb150a60" upstream="master" dest-branch="master"/>
-  <project name="util_libs.git" path="projects/util_libs" revision="5a0472c024c53fc4c4819a35db1eec708e0070c2" upstream="master" dest-branch="master"/>
+  <project name="util_libs.git" path="projects/util_libs" revision="9df2d1049dd12e8cd69982845aca43ffe750841d" upstream="master" dest-branch="master"/>
 </manifest>