35 lines
2.8 KiB
XML
35 lines
2.8 KiB
XML
<?xml version="1.0" encoding="UTF-8"?>
|
|
<!--
|
|
Copyright 2024 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="5dd53c71f73a25f9673b77be43c918eefcd1dbb4" 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="38cc97b913d11a35dd95f4fec47c742a0c84f94a" upstream="master" dest-branch="master"/>
|
|
<project name="camkes-vm-linux.git" path="projects/camkes-vm-linux" revision="ed9ce4cd7ba256b3835eef592a6604449d37f9cd" upstream="master" dest-branch="master"/>
|
|
<project name="camkes-vm.git" path="projects/camkes-vm" revision="64690e8db397f69ece88866e79a9f2942c3c7015" upstream="master" dest-branch="master"/>
|
|
<project name="capdl.git" path="projects/capdl" revision="ed79353dfc87e438b7fe26822e5e907993893a40" 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="9798aedbc3ee5fa3c1d7f788e9312df9203e7b0b" upstream="sel4" dest-branch="sel4"/>
|
|
<project name="projects_libs.git" path="projects/projects_libs" revision="250ebdc6a1b74ddb12f99eee34c2b41570fe0afa" upstream="master" dest-branch="master"/>
|
|
<project name="seL4.git" path="kernel" revision="c5b23791ea9f65efc4312c161dd173b7238c5e80" upstream="master" dest-branch="master"/>
|
|
<project name="seL4_libs.git" path="projects/seL4_libs" revision="88c761538b60a162d008a85642b516ee6707ed7e" 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">
|
|
<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="bb75358167fe8bdc0e3df565bb419dc6eb150a60" upstream="master" dest-branch="master"/>
|
|
<project name="sel4webserver.git" path="projects/webserver" revision="638f767c7fa13962ea2cc0dba474f98b05c7ab35" 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="f98dad12344a4c0fecf37bd11c82692ecc7a4a9a" upstream="master" dest-branch="master"/>
|
|
</manifest>
|