-
Notifications
You must be signed in to change notification settings - Fork 5
/
phase3.xml
71 lines (69 loc) · 4.57 KB
/
phase3.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
<?xml version="1.0" encoding="UTF-8"?>
<manifest>
<remote fetch="../seL4" name="seL4"/>
<remote fetch="." name="smaccm"/>
<default remote="seL4" revision="master"/>
<project name="DARPA-bsp.git" path="projects/DARPA-tk1" remote="smaccm" revision="252bf3e9cec456e52cc31acb8c8ba99128a9a2d0" upstream="master"/>
<project name="camkes-apps-DARPA--devel.git" path="projects/DARPA" remote="smaccm" revision="9bf6ae8601828cf10da7c81a8e74b9cbe06eb5d8" upstream="next">
<linkfile dest="projects/templates/seL4TimeServer-to.template.c" src="templates/seL4TimeServer-to.template.c"/>
<linkfile dest="projects/templates/seL4TimeServer-from.template.c" src="templates/seL4TimeServer-from.template.c"/>
</project>
<project name="camkes-tool.git" path="tools/camkes" revision="9a5e9187bf235309d17b8214477fdc92150acbcc" upstream="next">
<linkfile dest="Makefile" src="toplevel.mk"/>
<linkfile dest="Kbuild" src="Kbuild"/>
<linkfile dest="libs/libsel4camkes" src="libsel4camkes"/>
<linkfile dest="libs/libsel4muslccamkes" src="libsel4muslccamkes"/>
<linkfile dest="README.md" src="docs/index.md"/>
</project>
<project name="capdl.git" path="projects/capdl" revision="39c062a6745d7e5a74fbba150f870aaa42cd54da" upstream="master">
<linkfile dest="apps/capdl-loader-experimental" src="capdl-loader-app"/>
<linkfile dest="tools/capDL" src="capDL-tool"/>
<linkfile dest="tools/python-capdl" src="python-capdl-tool"/>
</project>
<project name="global-components.git" path="projects/global-components" remote="seL4" revision="cae3729de25b83737a7164f88e9b91c3961f6f3a" upstream="master"/>
<project name="musllibc.git" path="libs/libmuslc" revision="558c9df056bac7b08863b2c3d64b06022a2dc49f" upstream="sel4"/>
<project name="phase3" path="projects/phase3" remote="smaccm" revision="c969d3e1a99b0f40163189d82debe54834befb50" upstream="master">
<linkfile dest="Kconfig" src="Kconfig"/>
<linkfile dest="configs" src="configs"/>
</project>
<project name="projects_libs.git" path="projects/projects_libs" remote="seL4" revision="20f73b4219b1481ae7e5709f865df9da5e788101" upstream="master">
<linkfile dest="libs/libusbdrivers" src="libusbdrivers"/>
</project>
<project name="pruner.git" path="tools/pruner" revision="c1f6664f7f0bc04ac60b5e8b41200b1a09da7eda" upstream="master"/>
<project name="seL4.git" path="kernel" revision="598c9d1efc2b10c475a92fd5775d8280c766b77f" upstream="master">
<linkfile dest="libs/libsel4" src="libsel4"/>
</project>
<project name="seL4_libs.git" path="projects/seL4_libs" revision="60c6d51324d32c70a70ceb6f7c3d548c7aab14aa" upstream="master">
<linkfile dest="libs/libsel4muslcsys" src="libsel4muslcsys"/>
<linkfile dest="libs/libsel4platsupport" src="libsel4platsupport"/>
<linkfile dest="libs/libsel4utils" src="libsel4utils"/>
<linkfile dest="libs/libsel4sync" src="libsel4sync"/>
<linkfile dest="libs/libsel4vspace" src="libsel4vspace"/>
<linkfile dest="libs/libsel4vka" src="libsel4vka"/>
<linkfile dest="libs/libsel4debug" src="libsel4debug"/>
<linkfile dest="libs/libsel4simple" src="libsel4simple"/>
<linkfile dest="libs/libsel4simple-default" src="libsel4simple-default"/>
<linkfile dest="libs/libsel4bench" src="libsel4bench"/>
<linkfile dest="libs/libsel4allocman" src="libsel4allocman"/>
</project>
<project name="seL4_projects_libs.git" path="projects/seL4_projects_libs" remote="seL4" revision="7caedcecdfcb3b96f79e0e30cdca8e635803f9ba" upstream="master">
<linkfile dest="libs/libsel4dma" src="libsel4dma"/>
<linkfile dest="libs/libsel4arm-vmm" src="libsel4arm-vmm"/>
<linkfile dest="libs/libsel4vchan" src="libsel4vchan"/>
</project>
<project name="seL4_tools.git" path="projects/seL4_tools" revision="a9295b6efd52f0956040e0ff9e6674af867f2b61" upstream="master">
<linkfile dest="tools/common" src="common-tool"/>
<linkfile dest="tools/elfloader" src="elfloader-tool"/>
<linkfile dest="tools/kbuild" src="kbuild-tool"/>
</project>
<project name="smaccm.git" path="projects/smaccm" remote="smaccm" revision="2a6bb44df34889f7c40f4b59284c267720601cd6" upstream="develop">
<linkfile dest="apps/smaccmpilot" src="models/Minitower"/>
<linkfile dest="apps/smaccmpilot-tk1" src="models/smaccmpilot-tk1"/>
</project>
<project name="util_libs.git" path="projects/util_libs" revision="accfcac9308f84535d842bbfe2b321ac1374e2c5" upstream="master">
<linkfile dest="libs/libplatsupport" src="libplatsupport"/>
<linkfile dest="libs/libcpio" src="libcpio"/>
<linkfile dest="libs/libelf" src="libelf"/>
<linkfile dest="libs/libutils" src="libutils"/>
</project>
</manifest>