diff --git a/default.xml b/default.xml
index f100fca..761348c 100644
--- a/default.xml
+++ b/default.xml
@@ -10,12 +10,12 @@
   
   <default remote="seL4" revision="master"/>
   
-  <project name="camkes-tool.git" path="projects/camkes-tool" revision="fd099f3d395897d3ba0da7822f2ee9c2458eb383" upstream="master" dest-branch="master">
+  <project name="camkes-tool.git" path="projects/camkes-tool" revision="add3915eebb0122f9bc020e29ceaf6d0a68bff3c" upstream="master" dest-branch="master">
     <linkfile src="docs/index.md" dest="README-camkes.md"/>
   </project>
   <project name="camkes-vm-linux.git" path="projects/camkes-vm-linux" revision="46fb8b6e450eebf0f78adcd45d73fdba48c960bf" upstream="master" dest-branch="master"/>
   <project name="camkes-vm.git" path="projects/camkes-vm" revision="280208ddd1c698d3208fd471ca32770dfc75a043" upstream="master" dest-branch="master"/>
-  <project name="capdl.git" path="projects/capdl" revision="54364e937c61d900660bbbbf8c4e8a4f8af35163" upstream="master" dest-branch="master"/>
+  <project name="capdl.git" path="projects/capdl" revision="e082ee71297605ca2bde2fefc051a611a3cad57e" upstream="master" dest-branch="master"/>
   <project name="global-components.git" path="projects/global-components" revision="0a53b39805f44870b65bd33dfe7535a8856de281" upstream="master" dest-branch="master"/>
   <project name="musllibc.git" path="projects/musllibc" revision="3d6b939e8f05cb1d2a1a8c8166609bf2e652e975" upstream="sel4" dest-branch="sel4"/>
   <project name="polly" path="tools/polly" remote="polly" revision="ef7e79c2c297d456f2742fd0b976f555d058d4e0" upstream="master" dest-branch="master"/>