default.xml

<?xml version="1.0" encoding="UTF-8"?>
<!--
     Copyright 2019, Data61
     Commonwealth Scientific and Industrial Research Organisation (CSIRO)
     ABN 41 687 119 230.

     This software may be distributed and modified according to the terms of
     the BSD 2-Clause license. Note that NO WARRANTY is provided.
     See "LICENSE_BSD2.txt" for details.

     @TAG(DATA61_BSD)
-->
<manifest>
  <remote fetch="https://github.com/nanopb" name="nanopb"/>
  <remote fetch="." name="seL4"/>
  <remote fetch="../SEL4PROJ/" name="seL4_projects"/>
  
  <default remote="seL4" revision="master"/>
  
  <project name="musllibc.git" path="projects/musllibc" revision="a0a3af0e3a54fb3985352b4a3160503ecc8c260c" upstream="sel4"/>
  <project name="nanopb" remote="nanopb" revision="847ac296b50936a8b13d1434080cef8edeba621c" upstream="master"/>
  <project name="projects_libs" path="projects/projects_libs" remote="seL4_projects" revision="60b20d1d346b1d33cce422ad41822bede72763a8" upstream="master"/>
  <project name="seL4.git" path="kernel" revision="4ef43d507c6280f97e175d1f415851610ada5ab0" upstream="master"/>
  <project name="seL4_libs" path="projects/seL4_libs" revision="996f4e635a782c614712ace61842bc3c0e40bf3d" upstream="master"/>
  <project name="seL4_tools.git" path="tools/seL4" revision="14918280911366d08454bd495916b686e94dbb3a" upstream="master">
    <linkfile dest="init-build.sh" src="cmake-tool/init-build.sh"/>
    <linkfile dest="griddle" src="cmake-tool/griddle"/>
  </project>
  <project name="sel4_projects_libs" path="projects/sel4_projects_libs" remote="seL4_projects" revision="809d51e6ea3e13729c6c3f774bc9d1267d2fba3b" upstream="master"/>
  <project name="sel4bench.git" path="projects/sel4bench" revision="cdbb95fd953fe1baf297954fad668397597273f1" upstream="master">
    <linkfile dest="easy-settings.cmake" src="easy-settings.cmake"/>
  </project>
  <project name="sel4runtime.git" path="projects/sel4runtime" remote="seL4_projects" revision="7b71e82ca6802a712475d0e523e689f190303bd3" upstream="master"/>
  <project name="util_libs" path="projects/util_libs" revision="4294ef3e8010d1064eafe3df6a1aa549f484db5a" upstream="master"/>
</manifest>