master.xml

<!--
     Copyright 2017, Data61, CSIRO
     SPDX-License-Identifier: BSD-2-Clause
-->

<!-- note: this manifest is not intended to be used directly, but should be included
     into a manifest that also declares a kernel -->

<manifest>

    <remote name="sel4proj" fetch="../sel4proj"/>

    <remote name="seL4" fetch="../seL4"/>

    <remote fetch="https://github.com/ruslo" name="polly"/>

    <default revision="master" remote="seL4"/>

    <!-- the seL4 kernel -->
    <project name="seL4.git" path="kernel" revision="master"/>

    <!-- tools for building -->
    <project name="seL4_tools.git" path="tools/seL4" revision="master"/>

    <!-- C runtime -->
    <project name="sel4runtime" path="projects/sel4runtime"/>

    <!-- C library -->
    <project name="musllibc.git" path="projects/musllibc" revision="sel4"/>

    <!-- seL4-specific libraries -->
    <project name="seL4_projects_libs.git" path="projects/seL4_projects_libs" revision="master"/>
    <project name="seL4_libs.git" path="projects/seL4_libs" revision="master"/>

    <!-- seL4-independent libraries -->
    <project name="util_libs.git" path="projects/util_libs" revision="master"/>

    <!-- all the CAmkES tools and libraries -->
    <project name="camkes-tool.git" path="projects/camkes-tool" revision="master">
        <linkfile src="docs/index.md" dest="README-camkes.md"/>
    </project>

    <!-- all the capDL tools and libraries -->
    <project name="capdl.git" path="projects/capdl" revision="master"/>

    <!-- global CAmkES components and interfaces -->
    <project name="global-components.git" path="projects/global-components" revision="master"/>

    <!-- seL4-independent libraries -->
    <project name="projects_libs.git" path="projects/projects_libs" revision="master"/>

    <!-- the tutorial code -->
    <project name="sel4-tutorials.git" path="projects/sel4-tutorials">
        <linkfile src="README.md" dest="README.md"/>
        <linkfile src="init.py" dest="init"/>
    </project>

    <project name="camkes-vm.git" path="projects/camkes-vm"/>
    <project name="camkes-vm-linux.git" path="projects/camkes-vm-linux"/>
    <project name="polly" remote="polly" path="tools/polly" />

</manifest>