master.xml

<?xml version="1.0" encoding="UTF-8"?>
<!--
     Copyright 2018, Data61, CSIRO
     SPDX-License-Identifier: BSD-2-Clause
-->
<manifest>
    <remote name="seL4" fetch="../seL4"/>
    <remote name="SEL4PROJ" fetch="../SEL4PROJ"/>
    <remote fetch="https://git.savannah.gnu.org/git/" name="lwip"/>
    <remote name="opensbi" fetch="https://github.com/riscv"/>
    <remote fetch="https://github.com/tass-belgium" name="picotcp"/>
    <!-- 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.git" path="kernel"/>
    <project name="seL4_tools.git" path="tools/seL4">
        <linkfile src="cmake-tool/init-build.sh" dest="init-build.sh"/>
        <linkfile src="cmake-tool/griddle" dest="griddle"/>
    </project>
    <project name="camkes-tool.git" path="projects/camkes-tool">
        <linkfile src="docs/index.md" dest="README.md"/>
    </project>
    <project name="capdl.git" path="projects/capdl"/>
    <project name="pruner.git" path="tools/pruner"/>
    <project name="seL4_libs.git" path="projects/seL4_libs"/>
    <project name="util_libs.git" path="projects/util_libs"/>
    <project name="sel4runtime" path="projects/sel4runtime"/>
    <project name="musllibc.git" path="projects/musllibc" revision="sel4"/>
    <project name="picotcp.git" path="projects/picotcp" remote="picotcp" revision="refs/tags/v1.7.0"/>
    <project name="lwip.git" path="projects/lwip" remote="lwip" revision="refs/tags/STABLE-2_1_2_RELEASE"/>
    <project name="rumprun.git" path="tools/rumprun"/>
    <project name="global-components.git" path="projects/global-components"/>
    <project name="camkes.git" path="projects/camkes">
        <linkfile src="easy-settings.cmake" dest="easy-settings.cmake"/>
    </project>
    <project name="seL4_projects_libs.git" path="projects/seL4_projects_libs"/>
    <project name="projects_libs.git" path="projects/projects_libs"/>
    <project name="cakeml_libs.git" path="projects/cakeml_libs"/>
    <project name="opensbi" remote="opensbi" revision="refs/tags/v0.9" path="tools/opensbi"/>
</manifest>