master.xml

<?xml version="1.0" encoding="UTF-8"?>
<!--
     Copyright 2019, Data61, CSIRO

     SPDX-License-Identifier: BSD-2-Clause
-->
<manifest>

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

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

    <!-- we default to repositories in the seL4 root -->
    <default revision="master" remote="seL4" />

    <!-- list of 'projects' (i.e repositories), path is relative to the path in remote above -->
    <project name="seL4.git" path="kernel"/>

    <project name="seL4_tools.git" path="tools/seL4">
        <linkfile dest="griddle" src="cmake-tool/griddle"/>
        <linkfile dest="init-build.sh" src="cmake-tool/init-build.sh"/>
    </project>

    <project name="camkes-tool.git" path="projects/camkes-tool">
        <linkfile dest="camkes_README.md" src="docs/index.md"/>
    </project>

    <project name="capdl.git" path="projects/capdl"/>

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

    <project name="sel4runtime.git" path="projects/sel4runtime"/>

    <project name="seL4_libs.git" path="projects/seL4_libs"/>

    <project name="util_libs.git" path="projects/util_libs"/>

    <project name="seL4_projects_libs.git" path="projects/seL4_projects_libs"/>

    <project name="projects_libs.git" path="projects/projects_libs"/>

    <project name="global-components.git" path="projects/global-components"/>

    <project name="sel4webserver.git" path="projects/webserver">
        <linkfile dest="easy-settings.cmake" src="easy-settings.cmake"/>
    </project>

    <project name="camkes-vm.git" path="projects/camkes-vm"/>

    <!-- This is to use CMake scripts from this project.  Currently, no camkes components
         from here are being used. -->
    <project name="camkes-vm-images.git" path="projects/camkes-vm-images"/>
    <project name="camkes-vm-linux.git" path="projects/camkes-vm-linux"/>
</manifest>