35 lines
2.8 KiB
XML
35 lines
2.8 KiB
XML
<?xml version="1.0" encoding="UTF-8"?>
|
|
<!--
|
|
Copyright 2025 seL4 Project a Series of LF Projects, LLC
|
|
SPDX-License-Identifier: BSD-2-Clause
|
|
-->
|
|
<manifest>
|
|
<remote name="seL4" fetch="../seL4"/>
|
|
<remote name="sel4proj" fetch="../sel4proj"/>
|
|
|
|
<default remote="seL4" revision="master"/>
|
|
|
|
<project name="camkes-tool.git" path="projects/camkes-tool" revision="380ebf961c7ab99dd00ddbef13fb19fa4572a1d0" upstream="master" dest-branch="master">
|
|
<linkfile src="docs/index.md" dest="camkes_README.md"/>
|
|
</project>
|
|
<project name="camkes-vm-images.git" path="projects/camkes-vm-images" revision="bafad64282c14d0bbf15468bfd6265e648d87d6c" upstream="master" dest-branch="master"/>
|
|
<project name="camkes-vm-linux.git" path="projects/camkes-vm-linux" revision="608ff1861ad3b9ebccbe3576dab5777691fca1f6" upstream="master" dest-branch="master"/>
|
|
<project name="camkes-vm.git" path="projects/camkes-vm" revision="3dd34a480ba55e10a684d3c6e06e7bc158226ed7" upstream="master" dest-branch="master"/>
|
|
<project name="capdl.git" path="projects/capdl" revision="c5e2dcd65f43fde34cae5535ac050e69dcaeab3b" upstream="master" dest-branch="master"/>
|
|
<project name="global-components.git" path="projects/global-components" revision="e4fbff83ce2998c93c24d59d8b4e0f6c3ff840d8" upstream="master" dest-branch="master"/>
|
|
<project name="musllibc.git" path="projects/musllibc" revision="c9249738defe1ddd14f7d4b634dc5d945e7d00bb" upstream="sel4" dest-branch="sel4"/>
|
|
<project name="projects_libs.git" path="projects/projects_libs" revision="1e016fb78ca28a3c50232a93911a3c6eb79a0d40" upstream="master" dest-branch="master"/>
|
|
<project name="seL4.git" path="kernel" revision="c8ee04268800a5b14dd565032dc969d7a2f621cc" upstream="master" dest-branch="master"/>
|
|
<project name="seL4_libs.git" path="projects/seL4_libs" revision="959d4c38b8ace52ac2082f4d29ed1ce6f7b33536" upstream="master" dest-branch="master"/>
|
|
<project name="seL4_projects_libs.git" path="projects/seL4_projects_libs" revision="46f6dc9c0c38a09b75531e547308cb3dcaec53cd" upstream="master" dest-branch="master"/>
|
|
<project name="seL4_tools.git" path="tools/seL4" revision="b305af4dd306630ecfd2776d41d54b6d9964055c" upstream="master" dest-branch="master">
|
|
<linkfile src="cmake-tool/griddle" dest="griddle"/>
|
|
<linkfile src="cmake-tool/init-build.sh" dest="init-build.sh"/>
|
|
</project>
|
|
<project name="sel4runtime.git" path="projects/sel4runtime" revision="86489cf6efab9f314964e79468c036e9035394c7" upstream="master" dest-branch="master"/>
|
|
<project name="sel4webserver.git" path="projects/webserver" revision="efe3eb8e7ad6c264f6156ff8d5c9a417070cfe62" upstream="master" dest-branch="master">
|
|
<linkfile src="easy-settings.cmake" dest="easy-settings.cmake"/>
|
|
</project>
|
|
<project name="util_libs.git" path="projects/util_libs" revision="1ba664001364c57599dfcda707adec16ee646bb5" upstream="master" dest-branch="master"/>
|
|
</manifest>
|