default.xml

<?xml version="1.0" encoding="UTF-8"?>
<!--
     Copyright 2018, 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="../seL4" name="seL4"/>
  <remote fetch="../sel4proj" name="sel4proj"/>
  
  <default remote="seL4" revision="master"/>
  
  <project name="camkes-tool.git" path="tools/camkes" revision="28fac4aebc529b968c27478668f57d081ae46fb9" upstream="master">
    <linkfile dest="README-camkes.md" src="docs/index.md"/>
  </project>
  <project name="capdl.git" path="projects/camkes/capdl" revision="52323b6dd924305f893da3121474d4d44ead97a4" upstream="master"/>
  <project name="global-components.git" path="projects/camkes/global-components" remote="sel4proj" revision="b10a1cbc8901792b0e713dc6d98310824c71b46c" upstream="master"/>
  <project name="musllibc.git" path="projects/musllibc" revision="9e288a83f17de80e54af87852674d70f59d6beee" upstream="sel4"/>
  <project name="projects_libs.git" path="projects/projects_libs" remote="sel4proj" revision="4be456238d3019387316d0f1d0f77d4e23d4d8ed" upstream="master"/>
  <project name="pruner.git" path="tools/pruner" revision="9b112d39e8af68db33d848966816ee12f14a6f4f" upstream="master"/>
  <project name="seL4.git" path="kernel" revision="1283345bfd75dbe230bfe692e6e77ee5523cb7ca" upstream="master"/>
  <project name="seL4_libs.git" path="projects/seL4_libs" revision="62f98faf52cce7226faf637490bff6effc8865d9" upstream="master"/>
  <project name="seL4_tools.git" path="tools/seL4" revision="2f3bd00b274c64d1445f028030481e6feb35f170" upstream="master">
    <linkfile dest="CMakeLists.txt" src="cmake-tool/default-CMakeLists.txt"/>
  </project>
  <project name="sel4-tutorials.git" path="projects/sel4-tutorials" remote="sel4proj" revision="de189fd160689a9da4507b8e433c7e309da9cd65" upstream="master">
    <linkfile dest="README.md" src="README.md"/>
    <linkfile dest="init" src="init.py"/>
  </project>
  <project name="util_libs.git" path="projects/util_libs" revision="9178008a081dff09ac2aa1eafbdb51d14d731407" upstream="master"/>
</manifest>