Updating default.xml

Change-Id: Ia5c9a850a96a56c30e4bc5e98497b467a39b7f7c

default.xml

@@ -19,11 +19,11 @@
   <project name="musllibc.git" path="projects/musllibc" revision="e6cd7b1622fdec33dcb341ccbb3a78596559c6d5" upstream="sel4"/>
   <project name="riscv-pk" path="tools/riscv-pk" remote="sel4proj" revision="db937e995b09d343fb7146c447b0780ab1dca66b" upstream="fix-32bit"/>
   <project name="seL4.git" path="kernel" revision="43b7bca872ebe491b42bafd6c0f478bbdc01fa2d" upstream="master"/>
-  <project name="seL4_libs.git" path="projects/seL4_libs" revision="e76b3599d30b9493cca592bd58b63c5579e3705e" upstream="master"/>
+  <project name="seL4_libs.git" path="projects/seL4_libs" revision="8d002567af0ca425b6ce785b51e73e7d97d65df3" upstream="master"/>
   <project name="seL4_tools.git" path="tools/seL4" revision="7b492f40e64ab1fdba83263070445fba2d651b34" upstream="master">
     <linkfile dest="CMakeLists.txt" src="cmake-tool/default-CMakeLists.txt"/>
     <linkfile dest="init-build.sh" src="cmake-tool/init-build.sh"/>
   </project>
-  <project name="sel4test.git" path="projects/sel4test" revision="708eae8ff906eb8f8f156c90fc5d45f8bd2d05fe" upstream="master"/>
+  <project name="sel4test.git" path="projects/sel4test" revision="5ba89960ad6878d80a270780606ac17df83f697f" upstream="master"/>
   <project name="util_libs.git" path="projects/util_libs" revision="5ba7c9daf4a14f9cb39f8827190af50f64c2b85e" upstream="master"/>
 </manifest>