Updating default.xml

Change-Id: I5ea4ccf9b1a2b5fcb93ca0cb8b5497f42787c7a8
seL4 · Jan 13, 2024 · 9c9eb04 · 9c9eb04
1 parent a802915
commit 9c9eb04
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/default.xml b/default.xml
@@ -38,6 +38,6 @@
     <linkfile src="cmake-tool/griddle" dest="griddle"/>
     <linkfile src="cmake-tool/init-build.sh" dest="init-build.sh"/>
   </project>
-  <project name="sel4runtime" path="projects/sel4runtime" revision="d935dd05da0cf959e9fd0140af913dc6fdaa0221" upstream="master" dest-branch="master"/>
+  <project name="sel4runtime" path="projects/sel4runtime" revision="33b7702ecaca891c97be1e6624b8fbe1c672310c" upstream="master" dest-branch="master"/>
   <project name="util_libs.git" path="projects/util_libs" revision="0ede24ebad547298bf5414380fa82fb2062c1b11" upstream="master" dest-branch="master"/>
 </manifest>