master.xml

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

     SPDX-License-Identifier: CC-BY-SA-4.0
-->
<manifest>
<remote name="seL4"
fetch="."
/>
<remote name="seL4_projects" fetch="../SEL4PROJ/"/>
<remote fetch="https://github.com/nanopb" name="nanopb" />
<remote fetch="https://github.com/riscv" name="opensbi"/>

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

<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="musllibc.git" path="projects/musllibc" revision="sel4"/>
<project name="sel4runtime.git" path="projects/sel4runtime"/>
<project name="seL4_libs" path="projects/seL4_libs"/>
<project name="util_libs" path="projects/util_libs"/>
<project name="projects_libs" path="projects/projects_libs"/>
<project name="sel4_projects_libs" path="projects/sel4_projects_libs"/>
<project name="sel4bench.git" path="projects/sel4bench">
    <linkfile src="easy-settings.cmake" dest="easy-settings.cmake"/>
</project>
<project name="opensbi" remote="opensbi" revision="refs/tags/v0.8" path="tools/opensbi"/>
<project name="nanopb" path="nanopb" revision="refs/tags/0.4.3" upstream="master" remote="nanopb"/>

</manifest>