master.xml

<?xml version="1.0" encoding="UTF-8"?>
<!--
     Copyright 2017, Data61, CSIRO (ABN 41 687 119 230)

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

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

    <remote name="seL4-projects"
        fetch="../seL4proj"
    />

    <remote name="iperf"
        fetch="https://github.com/esnet/"
    />

    <!-- default revision for each project, and name of the remote -->
    <default revision="master"
        remote="seL4"
    />

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

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

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

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

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

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

    <project name="rumprun-sel4-demoapps" path="projects/rumprun-sel4-demoapps">
        <linkfile src="README.md" dest="README.md"/>
        <linkfile src="settings.cmake" dest="settings.cmake"/>
    </project>

    <project name="rumprun" path="projects/rumprun"/>

    <project name="rumprun-packages" path="projects/rumprun-packages"/>

    <project name="leveldb" remote="seL4-projects" revision="sel4" path="projects/leveldb"/>

    <!-- Revision for version 3.1.3 -->
    <project name="iperf" remote="iperf" path="projects/iperf" revision="refs/tags/3.1.3"/>
</manifest>