Updating default.xml

Change-Id: I80379ad5e1a097e85a4fd82827437440fa67e3bc

default.xml

@@ -19,11 +19,11 @@
   <project name="musllibc.git" path="projects/musllibc" revision="9e288a83f17de80e54af87852674d70f59d6beee" upstream="sel4"/>
   <project name="riscv-pk" path="tools/riscv-pk" remote="sel4proj" revision="db937e995b09d343fb7146c447b0780ab1dca66b" upstream="fix-32bit"/>
   <project name="seL4.git" path="kernel" revision="f1f6f975b66d2ccb79439c32a5379d73761d1494" upstream="master"/>
-  <project name="seL4_libs.git" path="projects/seL4_libs" revision="5d2422214dfda7d944b8f3aa28f21d44aa639924" upstream="master"/>
+  <project name="seL4_libs.git" path="projects/seL4_libs" revision="ea427b1bcc4238cc0111161888ff87a8772bbd7b" upstream="master"/>
   <project name="seL4_tools.git" path="tools/seL4" revision="a710221285b5f1fcce0464ccae5cbd76b1759101" 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="7fb9c6a5cf2f49e440c485bca1c5f7343d332f7e" upstream="master"/>
-  <project name="util_libs.git" path="projects/util_libs" revision="17a043a04f47a17db9242bed5d63ca30ce45bdf4" upstream="master"/>
+  <project name="sel4test.git" path="projects/sel4test" revision="52d5cd83ff169e2b00e6509ced3b325f7474ab4b" upstream="master"/>
+  <project name="util_libs.git" path="projects/util_libs" revision="3b68508f95be71cb73b9d56b1ea0589f69be9da7" upstream="master"/>
 </manifest>