Updating default.xml

Change-Id: I630a64044a88a3edd236e5bfaf45ff774b3ad374
seL4 · Jan 12, 2024 · c89c61a · c89c61a
1 parent 447fc2c
commit c89c61a
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/default.xml b/default.xml
@@ -28,6 +28,6 @@
     <linkfile src="README.md" dest="README.md"/>
     <linkfile src="init.py" dest="init"/>
   </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>