Updating default.xml

seL4 · Nov 3, 2023 · 1ff7bba · 1ff7bba
1 parent c16879f
commit 1ff7bba
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/default.xml b/default.xml
@@ -20,7 +20,7 @@
     <linkfile src="cmake-tool/init-build.sh" dest="init-build.sh"/>
     <linkfile src="cmake-tool/griddle" dest="griddle"/>
   </project>
-  <project name="sel4_projects_libs" path="projects/sel4_projects_libs" revision="e219913b3f43854e46f0e857d879d65b83413c45" upstream="master" dest-branch="master"/>
+  <project name="sel4_projects_libs" path="projects/sel4_projects_libs" revision="8d71a8afc3c23aadc74b5bf548e1ba8937027b2b" upstream="master" dest-branch="master"/>
   <project name="sel4runtime.git" path="projects/sel4runtime" revision="d935dd05da0cf959e9fd0140af913dc6fdaa0221" upstream="master" dest-branch="master"/>
   <project name="sel4test.git" path="projects/sel4test" revision="e7d9607a0bd1d5ddffa5ee1aa56e5b00dc74689e" upstream="master" dest-branch="master">
     <linkfile src="easy-settings.cmake" dest="easy-settings.cmake"/>