diff --git a/default.xml b/default.xml
index 77f53a7b..28024f34 100644
--- 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>