master.xml

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

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

  <remote fetch="../SEL4PROJ" name="SEL4PROJ"/>
  <remote fetch="../seL4" name="seL4"/>
  <remote fetch="https://github.com/tass-belgium" name="picotcp" />
  <remote fetch="https://github.com/ruslo" name="polly" />
  <remote fetch="https://github.com/zeromq" name="zeromq" />
  <remote fetch="https://git.savannah.gnu.org/git/" name="lwip"/>

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

  <project name="camkes-tool.git" path="projects/camkes-tool">
    <linkfile dest="camkes_README.md" src="docs/index.md"/>
  </project>
  <project name="camkes-vm.git" path="projects/vm">
    <linkfile dest="README.md" src="README.md"/>
  </project>
  <project name="camkes-vm-examples.git" path="projects/vm-examples">
    <linkfile dest="easy-settings.cmake" src="easy-settings.cmake"/>
  </project>
  <project name="camkes-vm-images.git" path="projects/camkes-vm-images"/>
  <project name="capdl.git" path="projects/capdl"/>
  <project name="global-components.git" path="projects/global-components"/>
  <project name="musllibc.git" path="projects/musllibc" revision="sel4"/>
  <project name="sel4runtime" path="projects/sel4runtime"/>
  <project name="picotcp.git" path="projects/picotcp" remote="picotcp" revision="refs/tags/v1.7.0"/>
  <project name="seL4.git" path="kernel"/>
  <project name="seL4_libs" path="projects/seL4_libs"/>
  <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="util_libs.git" path="projects/util_libs"/>
  <project name="projects_libs.git" path="projects/projects_libs"/>
  <project name="camkes-vm-linux.git" path="projects/vm-linux"/>
  <project name="seL4_projects_libs.git" path="projects/seL4_projects_libs"/>
  <project name="polly" remote="polly" path="tools/polly" />
  <project name="libzmq" remote="zeromq" path="projects/libzmq" revision="refs/tags/v4.2.5" />
  <project name="lwip.git" path="projects/lwip" remote="lwip" revision="refs/tags/STABLE-2_1_2_RELEASE"/>
</manifest>