This repository has been archived by the owner on Jan 4, 2024. It is now read-only.
-
Notifications
You must be signed in to change notification settings - Fork 3
/
sparrow-manifest.xml
82 lines (75 loc) · 5.1 KB
/
sparrow-manifest.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
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
<?xml version="1.0" encoding="UTF-8"?>
<!--
camkes manifest based on the public version and the sparrow patch
Based on https://github.com/seL4/camkes-manifest/tree/72860eb8e157
For external users, replace sso://github with https://github.com use github
repos directly instead of using github GoB mirror
-->
<manifest>
<remote name="sparrow" fetch="https://github.com/ambiml" />
<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="seL4" fetch="https://github.com/seL4" />
<remote name="seL4-github" fetch="https://github.com/seL4" />
<remote name="nanopb" fetch="https://github.com/nanopb" />
<default remote="seL4" revision="master" />
<!-- Download the build glue -->
<project name="sparrow-build" revision="main" remote="sparrow" path="build" />
<!-- Download the misc scripts -->
<project name="sparrow-scripts-full" revision="main" remote="sparrow" path="scripts" />
<project name="cakeml_libs.git" path="cantrip/projects/cakeml_libs"
revision="0d3f232e795a7e79bd3ecd831636507711275a0a" upstream="master" dest-branch="master"/>
<project name="camkes.git" path="cantrip/projects/camkes"
revision="20ef3480ee2f3dfc0a36b80ccf44b56c903c76af" upstream="master" dest-branch="master" />
<project name="cogent" path="cantrip/tools/cogent" remote="nicta"
revision="f34fdbd12aed2ec7ddb33b98e671ebe398550712" upstream="master" dest-branch="master"/>
<project name="global-components.git" path="cantrip/projects/global-components"
revision="df8b9e42ef4a7b288f2d47859dbae66db1ff1cb3" upstream="master" dest-branch="master"/>
<project name="lwip.git" path="cantrip/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="cantrip/projects/musllibc"
revision="3d6b939e8f05cb1d2a1a8c8166609bf2e652e975" upstream="sel4" dest-branch="sel4"/>
<project name="opensbi" path="cantrip/tools/opensbi" remote="opensbi"
revision="234ed8e427f4d92903123199f6590d144e0d9351" upstream="refs/tags/v0.9"
dest-branch="refs/tags/v0.9"/>
<project name="picotcp.git" path="cantrip/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="cantrip/projects/projects_libs" remote="seL4-github"
revision="baf58d797b2e89da637367da25229a1acfdad06f" upstream="master" dest-branch="master"/>
<project name="pruner.git" path="cantrip/tools/pruner"
revision="6df378e8d91856d204e4d024796b91c6802d0501" upstream="master" dest-branch="master"/>
<project name="rumprun.git" path="cantrip/tools/rumprun"
revision="04464ab931c28ca1c78e807741d82a4792660183" upstream="master" dest-branch="master"/>
<project name="seL4_projects_libs.git" path="cantrip/projects/seL4_projects_libs" remote="seL4-github"
revision="a6fbc13c792ef518e5bcf1da69c8d27b6cd19814" upstream="master" dest-branch="master"/>
<!-- Download Sparrow camkes-tool (mods + templates) -->
<project name="sparrow-camkes-tool" revision="sparrow" remote="sparrow" path="cantrip/projects/camkes-tool" />
<!-- Download Sparrow's kernel (patches + drivers) -->
<project name="sparrow-kernel" revision="sparrow" remote="sparrow" path="cantrip/kernel" />
<!-- Download CantripOS CAmkES components -->
<project name="sparrow-cantrip-full" revision="main" remote="sparrow" path="cantrip/projects/cantrip" />
<!-- Download Sparrow's capdl -->
<project name="sparrow-capdl" revision="sparrow" remote="sparrow" path="cantrip/projects/capdl" />
<!-- Download Sparrow's seL4_libs -->
<project name="sparrow-seL4_libs" revision="sparrow" remote="sparrow" path="cantrip/projects/seL4_libs" />
<!-- Download Sparrow's seL4_tools -->
<project name="sparrow-seL4_tools" revision="sparrow" remote="sparrow" path="cantrip/tools/seL4" />
<!-- Download Sparrow's sel4runtime -->
<project name="sparrow-sel4runtime" revision="sparrow" remote="sparrow" path="cantrip/projects/sel4runtime" />
<!-- Download Sparrow's sel4test -->
<project name="sparrow-sel4test" revision="sparrow" remote="sparrow" path="cantrip/projects/sel4test" />
<!-- Download Sparrow's util_libs -->
<project name="sparrow-util_libs" revision="sparrow" remote="sparrow" path="cantrip/projects/util_libs" />
<!-- Download nanopb for sel4test -->
<project name="nanopb" remote="nanopb" path="cantrip/tools/nanopb" />
<!-- Download Sparrow manifest in order to setup top-level symlinks -->
<project name="sparrow-manifest" revision="main" remote="sparrow" path="manifest">
<linkfile src="README.md" dest="README.md" />
<linkfile src="CONTRIBUTING.md" dest="CONTRIBUTING.md" />
<linkfile src="LICENSE" dest="LICENSE" />
</project>
</manifest>