-
Notifications
You must be signed in to change notification settings - Fork 0
/
default.xml
44 lines (42 loc) · 3.98 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
44
<?xml version="1.0" encoding="UTF-8"?>
<!--
Copyright 2022 seL4 Project a Series of LF Projects, LLC
SPDX-License-Identifier: BSD-2-Clause
-->
<manifest>
<remote fetch="https://github.com/seL4" name="seL4"/>
<remote fetch="https://github.com/DrewKimball" name="capstone"/>
<remote name="lwip" fetch="https://git.savannah.gnu.org/git/"/>
<remote name="nicta" fetch="https://github.com/NICTA"/>
<remote name="opensbi" fetch="https://github.com/riscv"/>
<remote name="picotcp" fetch="https://github.com/tass-belgium"/>
<remote name="libtom" fetch="https://github.com/libtom"/>
<default remote="seL4" revision="master"/>
<project name="cakeml_libs.git" path="projects/cakeml_libs" revision="0d3f232e795a7e79bd3ecd831636507711275a0a" upstream="master" dest-branch="master"/>
<project name="camkes-tool.git" path="projects/camkes-tool" revision="bceec3634b2c107c3b8136d2128b0ad94f1accac" upstream="master" dest-branch="master">
<linkfile src="docs/index.md" dest="README.md"/>
</project>
<project remote="capstone" dest-branch="master" name="Sel4CapstoneProject.git" path="projects/seL4capstone" revision="master" upstream="master">
<linkfile dest="easy-settings.cmake" src="easy-settings.cmake"/>
</project>
<project name="capdl.git" path="projects/capdl" revision="234063c8e46b78ce70d1057fc9a3a2165850f791" upstream="master" dest-branch="master"/>
<project name="cogent" path="tools/cogent" remote="nicta" revision="febf9e343c3f98f40e0530e721ee882ee4610ba0" upstream="master" dest-branch="master"/>
<project name="global-components.git" path="projects/global-components" revision="df8b9e42ef4a7b288f2d47859dbae66db1ff1cb3" upstream="master" dest-branch="master"/>
<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="3d6b939e8f05cb1d2a1a8c8166609bf2e652e975" upstream="sel4" dest-branch="sel4"/>
<project name="opensbi" path="tools/opensbi" remote="opensbi" revision="234ed8e427f4d92903123199f6590d144e0d9351" upstream="refs/tags/v0.9" dest-branch="refs/tags/v0.9"/>
<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="projects_libs.git" path="projects/projects_libs" revision="ff11dd472c79c2a2c9e09910b85d0fc2f965670d" upstream="master" dest-branch="master"/>
<project name="pruner.git" path="tools/pruner" revision="6df378e8d91856d204e4d024796b91c6802d0501" upstream="master" dest-branch="master"/>
<project name="rumprun.git" path="tools/rumprun" revision="04464ab931c28ca1c78e807741d82a4792660183" upstream="master" dest-branch="master"/>
<project name="seL4.git" path="kernel" revision="b865b3ce52965e0d5dcdd2f6cdc6bb689fce7709" upstream="master" dest-branch="master"/>
<project name="seL4_libs.git" path="projects/seL4_libs" revision="d8ae2c44e92d1bf19891344eb038752565f0b30e" upstream="master" dest-branch="master"/>
<project name="seL4_projects_libs.git" path="projects/seL4_projects_libs" revision="eee72e93a1f5f9310cc3c76da8e084dea83b06eb" upstream="master" dest-branch="master"/>
<project name="seL4_tools.git" path="tools/seL4" revision="5fee50c854d2af42cfffeb744c4d2bf6447e183c" upstream="master" dest-branch="master">
<linkfile src="cmake-tool/init-build.sh" dest="init-build.sh"/>
<linkfile src="cmake-tool/griddle" dest="griddle"/>
</project>
<project name="sel4runtime" path="projects/sel4runtime" revision="d935dd05da0cf959e9fd0140af913dc6fdaa0221" upstream="master" dest-branch="master"/>
<project name="util_libs.git" path="projects/util_libs" revision="b0cedde66a6b5a3ef1bc072f9a08a4e6bd68935c" upstream="master" dest-branch="master"/>
<project remote="libtom" name="libtomcrypt.git" path="projects/crypto" revision="673f5ce29015a9bba3c96792920a10601b5b0718" upstream="master" dest-branch="develop"/>
</manifest>