-
Notifications
You must be signed in to change notification settings - Fork 15
/
default.xml
43 lines (41 loc) · 3.78 KB
/
default.xml
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
<?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="lwip" fetch="https://git.savannah.gnu.org/git/"/>
<remote name="picotcp" fetch="https://github.com/tass-belgium"/>
<remote name="polly" fetch="https://github.com/ruslo"/>
<remote name="seL4" fetch="../seL4"/>
<remote name="zeromq" fetch="https://github.com/zeromq"/>
<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-examples.git" path="projects/vm-examples" revision="977022b13b93c1eb36f399db63abbe6e0157e7f9" upstream="master" dest-branch="master">
<linkfile src="easy-settings.cmake" dest="easy-settings.cmake"/>
</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/vm-linux" revision="ed9ce4cd7ba256b3835eef592a6604449d37f9cd" upstream="master" dest-branch="master"/>
<project name="camkes-vm.git" path="projects/vm" revision="64690e8db397f69ece88866e79a9f2942c3c7015" upstream="master" dest-branch="master">
<linkfile src="README.md" dest="README.md"/>
</project>
<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="libzmq" path="projects/libzmq" remote="zeromq" revision="d062edd8c142384792955796329baf1e5a3377cd" upstream="refs/tags/v4.2.5" dest-branch="refs/tags/v4.2.5"/>
<project name="lwip.git" path="projects/lwip" remote="lwip" revision="159e31b689577dbf69cf0683bbaffbd71fa5ee10" upstream="refs/tags/STABLE-2_1_2_RELEASE" dest-branch="refs/tags/STABLE-2_1_2_RELEASE"/>
<project name="musllibc.git" path="projects/musllibc" revision="9798aedbc3ee5fa3c1d7f788e9312df9203e7b0b" upstream="sel4" dest-branch="sel4"/>
<project name="picotcp.git" path="projects/picotcp" remote="picotcp" revision="13c00a067190f5ec62340ed932a2bb833c366d63" upstream="refs/tags/v1.7.0" dest-branch="refs/tags/v1.7.0"/>
<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="c5b23791ea9f65efc4312c161dd173b7238c5e80" upstream="master" dest-branch="master"/>
<project name="seL4_libs" 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" path="projects/sel4runtime" revision="bb75358167fe8bdc0e3df565bb419dc6eb150a60" upstream="master" dest-branch="master"/>
<project name="util_libs.git" path="projects/util_libs" revision="f98dad12344a4c0fecf37bd11c82692ecc7a4a9a" upstream="master" dest-branch="master"/>
</manifest>