Updating default.xml

Change-Id: Iec01e106cf2b3ad9b01ce230c44f460ee39d926d
seL4 · Feb 2, 2025 · 1bcd264 · 1bcd264
1 parent cf7e146
commit 1bcd264
Showing 1 changed file with 4 additions and 4 deletions.
diff --git a/default.xml b/default.xml
@@ -1,6 +1,6 @@
 <?xml version="1.0" encoding="UTF-8"?>
 <!--
-   Copyright 2024 seL4 Project a Series of LF Projects, LLC
+   Copyright 2025 seL4 Project a Series of LF Projects, LLC
    SPDX-License-Identifier: BSD-2-Clause
 -->
 <manifest>
@@ -10,7 +10,7 @@
 
   <default remote="seL4" revision="master"/>
 
-  <project name="camkes-tool.git" path="projects/camkes-tool" revision="5dd53c71f73a25f9673b77be43c918eefcd1dbb4" upstream="master" dest-branch="master">
+  <project name="camkes-tool.git" path="projects/camkes-tool" revision="9c7c211cc45bf39a3261e5c3f2f31d34081ae53b" 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="ed9ce4cd7ba256b3835eef592a6604449d37f9cd" upstream="master" dest-branch="master"/>
@@ -20,11 +20,11 @@
   <project name="musllibc.git" path="projects/musllibc" revision="9798aedbc3ee5fa3c1d7f788e9312df9203e7b0b" upstream="sel4" dest-branch="sel4"/>
   <project name="polly" path="tools/polly" remote="polly" revision="ef7e79c2c297d456f2742fd0b976f555d058d4e0" upstream="master" dest-branch="master"/>
   <project name="projects_libs.git" path="projects/projects_libs" revision="250ebdc6a1b74ddb12f99eee34c2b41570fe0afa" upstream="master" dest-branch="master"/>
-  <project name="seL4.git" path="kernel" revision="80e60fe39769eb7163e128632802038fe38d85ab" upstream="master" dest-branch="master"/>
+  <project name="seL4.git" path="kernel" revision="d96b4478267d097a56cfd505c80e18f24a718084" upstream="master" dest-branch="master"/>
   <project name="seL4_libs.git" path="projects/seL4_libs" revision="d3d24dd818f99bd244d4def322818637d9a1d0cb" upstream="master" dest-branch="master"/>
   <project name="seL4_projects_libs.git" path="projects/seL4_projects_libs" revision="97360824eebc80e9a68fef9ef699f3c0ff8bd792" upstream="master" dest-branch="master"/>
   <project name="seL4_tools.git" path="tools/seL4" revision="bef85f32a4829c5062fd6c808c7cab57b816cd9f" upstream="master" dest-branch="master"/>
-  <project name="sel4-tutorials.git" path="projects/sel4-tutorials" revision="f5780776683185ea062932a4878db430fd201be2" upstream="master" dest-branch="master">
+  <project name="sel4-tutorials.git" path="projects/sel4-tutorials" revision="93af3aad98cc0d02141adfa91c43e78d5beb7e1c" upstream="master" dest-branch="master">
     <linkfile src="README.md" dest="README.md"/>
     <linkfile src="init.py" dest="init"/>
   </project>