phase3/default.xml at master · smaccm/phase3 · GitHub

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
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
<?xml version="1.0" encoding="UTF-8"?>

<!--
     Copyright 2014, NICTA

     This software may be distributed and modified according to the terms of
     the BSD 2-Clause license. Note that NO WARRANTY is provided.
     See "LICENSE_BSD2.txt" for details.

     @TAG(NICTA_BSD)
  -->

<manifest>
    <!-- Any repositories not in the seL4 root will be in the current root -->
    <remote name="smaccm" fetch="."/>
    <remote name="seL4" fetch="../seL4"/>
    <remote name="SEL4PROJ" fetch="../SEL4PROJ"/>
    <default revision="master" remote="seL4"/>

    <project name="seL4.git" path="kernel">
        <linkfile src="libsel4" dest="libs/libsel4"/>
    </project>

    <project name="seL4_tools.git" path="projects/seL4_tools">
        <linkfile src="common-tool" dest="tools/common"/>
        <linkfile src="elfloader-tool" dest="tools/elfloader"/>
        <linkfile src="kbuild-tool" dest="tools/kbuild"/>
    </project>

    <!-- TODO: How to handle reinitializable locks? -->
    <project name="camkes-tool.git" path="tools/camkes" revision="next">
        <linkfile src="toplevel.mk" dest="Makefile"/>
        <linkfile src="Kbuild" dest="Kbuild"/>
        <linkfile src="libsel4camkes" dest="libs/libsel4camkes"/>
        <linkfile src="libsel4muslccamkes" dest="libs/libsel4muslccamkes"/>
        <linkfile src="docs/index.md" dest="README.md"/>
    </project>

    <project name="capdl.git" path="projects/capdl">
        <linkfile src="capdl-loader-app" dest="apps/capdl-loader-experimental"/>
        <linkfile src="capDL-tool" dest="tools/capDL"/>
        <linkfile src="python-capdl-tool" dest="tools/python-capdl"/>
    </project>

    <project name="pruner.git" path="tools/pruner"/>

    <project name="seL4_libs.git" path="projects/seL4_libs">
        <linkfile src="libsel4muslcsys" dest="libs/libsel4muslcsys"/>
        <linkfile src="libsel4platsupport" dest="libs/libsel4platsupport"/>
        <linkfile src="libsel4utils" dest="libs/libsel4utils"/>
        <linkfile src="libsel4sync" dest="libs/libsel4sync"/>
        <linkfile src="libsel4vspace" dest="libs/libsel4vspace"/>
        <linkfile src="libsel4vka" dest="libs/libsel4vka"/>
        <linkfile src="libsel4debug" dest="libs/libsel4debug"/>
        <linkfile src="libsel4simple" dest="libs/libsel4simple"/>
        <linkfile src="libsel4simple-default" dest="libs/libsel4simple-default"/>
        <linkfile src="libsel4bench" dest="libs/libsel4bench"/>
        <linkfile src="libsel4allocman" dest="libs/libsel4allocman"/>
    </project>

    <project name="util_libs.git" path="projects/util_libs">
        <linkfile src="libplatsupport" dest="libs/libplatsupport"/>
        <linkfile src="libcpio" dest="libs/libcpio"/>
        <linkfile src="libelf" dest="libs/libelf"/>
        <linkfile src="libutils" dest="libs/libutils"/>
    </project>

    <project name="musllibc.git" path="libs/libmuslc" revision="sel4"/>

    <project remote="SEL4PROJ" name="global-components.git"
             path="projects/global-components" revision="next"/>

    <project name="seL4_projects_libs.git" path="projects/seL4_projects_libs" remote="SEL4PROJ">
        <linkfile dest="libs/libsel4dma" src="libsel4dma"/>
        <linkfile dest="libs/libsel4arm-vmm" src="libsel4arm-vmm"/>
        <linkfile dest="libs/libsel4vchan" src="libsel4vchan"/>
    </project>

    <project name="projects_libs.git" path="projects/projects_libs" remote="SEL4PROJ">
        <linkfile dest="libs/libusbdrivers" src="libusbdrivers"/>
    </project>

    <project remote="smaccm" name="phase3" path="projects/phase3">
        <linkfile src="Kconfig" dest="Kconfig"/>
        <linkfile src="configs" dest="configs"/>
    </project>

    <project remote="smaccm" name="camkes-apps-DARPA--devel.git"
             path="projects/DARPA" revision="next">
      	<linkfile src="templates/seL4TimeServer-to.template.c"
		  dest="projects/templates/seL4TimeServer-to.template.c"/>
	<linkfile src="templates/seL4TimeServer-from.template.c"
		  dest="projects/templates/seL4TimeServer-from.template.c"/>
    </project>

    <project remote="smaccm" name="DARPA-bsp.git" path="projects/DARPA-tk1"/>

    <project name="smaccm.git" path="projects/smaccm" remote="smaccm" revision="develop">
        <linkfile dest="apps/smaccmpilot" src="models/Minitower"/>
        <linkfile dest="apps/smaccmpilot-tk1" src="models/smaccmpilot-tk1"/>
    </project>
</manifest>