This repository has been archived by the owner on Nov 27, 2020. It is now read-only.
-
Notifications
You must be signed in to change notification settings - Fork 8
/
Copy pathworking.xml
67 lines (65 loc) · 3.84 KB
/
working.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
<?xml version="1.0" encoding="UTF-8"?>
<manifest>
<remote fetch="../seL4-projects" name="SEL4PROJ"/>
<remote fetch="." name="seL4"/>
<default remote="seL4" revision="master"/>
<project name="camkes-tool.git" path="tools/camkes" revision="314534f69870b73a668953d7ec7d5c32dbb422c4" upstream="master">
<linkfile dest="Makefile" src="toplevel.mk"/>
<linkfile dest="Kbuild" src="Kbuild"/>
<linkfile dest="camkes_README.md" src="docs/index.md"/>
<linkfile dest="libs/libsel4camkes" src="libsel4camkes"/>
<linkfile dest="libs/libsel4muslccamkes" src="libsel4muslccamkes"/>
</project>
<project name="camkes-vm.git" path="projects/vm" revision="2c85060e96bbfc5584da07dab33e21ad8a7bdf93" upstream="master">
<linkfile dest="Kconfig" src="Kconfig"/>
<linkfile dest="configs" src="configs"/>
<linkfile dest="libs/libsel4cxx" src="libsel4cxx"/>
<linkfile dest="libs/liblwip" src="liblwip"/>
<linkfile dest="tools/elf" src="tools/elf"/>
<linkfile dest="apps/vm" src="apps/vm"/>
<linkfile dest="apps/c162_twovm" src="apps/c162_twovm"/>
<linkfile dest="apps/optiplex9020_onevm" src="apps/optiplex9020_onevm"/>
<linkfile dest="apps/cma34cr_singlevm" src="apps/cma34cr_singlevm"/>
<linkfile dest="apps/cma34cr_twovm" src="apps/cma34cr_twovm"/>
<linkfile dest="apps/cma34cr_vchan" src="apps/cma34cr_vchan"/>
<linkfile dest="apps/cxx" src="apps/cxx"/>
<linkfile dest="README.md" src="README.md"/>
</project>
<project name="capdl.git" path="projects/capdl" revision="f0d119f441251c36d193432da31fd717356c3637" 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="SEL4PROJ" revision="68c1886b5a0899b49ffa5ce6d9f78c4385eef17f" upstream="master"/>
<project name="musllibc.git" path="libs/libmuslc" revision="b5c66eef4a8bb274d7a4b9b5b82bce412224dbf9" upstream="sel4"/>
<project name="seL4.git" path="kernel" revision="acba4755fb7ce89c80568fd90d7fda9887ac8db1" upstream="experimental">
<linkfile dest="libs/libsel4" src="libsel4"/>
</project>
<project name="seL4_libs" path="projects/seL4_libs" revision="9adacd75afd2980b070081fe3372e85323b30b5e">
<linkfile dest="libs/libsel4allocman" src="libsel4allocman"/>
<linkfile dest="libs/libsel4bench" src="libsel4bench"/>
<linkfile dest="libs/libsel4debug" src="libsel4debug"/>
<linkfile dest="libs/libsel4muslcsys" src="libsel4muslcsys"/>
<linkfile dest="libs/libsel4platsupport" src="libsel4platsupport"/>
<linkfile dest="libs/libsel4simple" src="libsel4simple"/>
<linkfile dest="libs/libsel4simple-stable" src="libsel4simple-stable"/>
<linkfile dest="libs/libsel4sync" src="libsel4sync"/>
<linkfile dest="libs/libsel4utils" src="libsel4utils"/>
<linkfile dest="libs/libsel4vka" src="libsel4vka"/>
<linkfile dest="libs/libsel4vmm" src="libsel4vmm"/>
<linkfile dest="libs/libsel4vspace" src="libsel4vspace"/>
</project>
<project name="seL4_tools.git" path="projects/tools" revision="14c7bfa189c2a3f83cb70145b1ca720cf3332555" upstream="master">
<linkfile dest="tools/kbuild" src="kbuild-tool"/>
<linkfile dest="tools/common" src="common-tool"/>
<linkfile dest="tools/elfloader" src="elfloader-tool"/>
</project>
<project name="util_libs.git" path="projects/util_libs" revision="07539efe9ea637e0f1233d8f02e9b9fb5e938bd7" upstream="master">
<linkfile dest="libs/libcpio" src="libcpio"/>
<linkfile dest="libs/libelf" src="libelf"/>
<linkfile dest="libs/libethdrivers" src="libethdrivers"/>
<linkfile dest="libs/libpci" src="libpci"/>
<linkfile dest="libs/libplatsupport" src="libplatsupport"/>
<linkfile dest="libs/libutils" src="libutils"/>
</project>
</manifest>