Updating default.xml

Change-Id: I8e777b2edba2cfd8b6dcbcdec0cc260a8eb5dbde
seL4 · Jan 11, 2024 · 447fc2c · 447fc2c
1 parent 25afc9f
commit 447fc2c
Showing 1 changed file with 2 additions and 2 deletions.
diff --git a/default.xml b/default.xml
@@ -23,11 +23,11 @@
   <project name="seL4.git" path="kernel" revision="e6fbbbb065602142e73f19d797e1350dc76e63b9" upstream="master" dest-branch="master"/>
   <project name="seL4_libs.git" path="projects/seL4_libs" revision="f3443015111db398747b05b74f0668bb4c92044e" upstream="master" dest-branch="master"/>
   <project name="seL4_projects_libs.git" path="projects/seL4_projects_libs" revision="0d46afe203cda3f85ed2d86fb3ba5fe2e181e554" upstream="master" dest-branch="master"/>
-  <project name="seL4_tools.git" path="tools/seL4" revision="df31d5a844993166c88c8a1ccce5dd42018a7296" upstream="master" dest-branch="master"/>
+  <project name="seL4_tools.git" path="tools/seL4" revision="75fc8008f4acd84097d6a5def74f1fbc7672040e" upstream="master" dest-branch="master"/>
   <project name="sel4-tutorials.git" path="projects/sel4-tutorials" revision="e3df782b7c6f7e7ba41992394e8d12a7d9252c8f" upstream="master" dest-branch="master">
     <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="util_libs.git" path="projects/util_libs" revision="af6b18bd60e4f2e1a10ff1a1e687a46db02fa9db" upstream="master" dest-branch="master"/>
+  <project name="util_libs.git" path="projects/util_libs" revision="0ede24ebad547298bf5414380fa82fb2062c1b11" upstream="master" dest-branch="master"/>
 </manifest>