5.0.x.xml

<!--
     Copyright 2014, NICTA

     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(NICTA_BSD)
  --><manifest>

<!-- We assume this manifest is in the same path as all the libraries. If you are
     copying this manifest as a template then you probably want the fetch path
     for this to be '../seL4' instead of '.' -->
<remote name="seL4" fetch="."/>

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

<project name="seL4.git" path="kernel" revision="5.0.x-compatible"/>
<project name="seL4_tools.git" path="projects/tools" revision="5.0.x-compatible">
    <linkfile src="common-tool" dest="tools/common"/>
    <linkfile src="kbuild-tool" dest="tools/kbuild"/>
    <linkfile src="elfloader-tool" dest="tools/elfloader"/>
</project>
<project name="musllibc.git" path="libs/libmuslc" revision="5.0.x-compatible"/>
<project name="seL4_libs.git" path="projects/seL4_libs" revision="5.0.x-compatible">
    <linkfile src="libsel4allocman" dest="libs/libsel4allocman"/>
    <linkfile src="libsel4debug" dest="libs/libsel4debug"/>
    <linkfile src="libsel4muslcsys" dest="libs/libsel4muslcsys"/>
    <linkfile src="libsel4platsupport" dest="libs/libsel4platsupport"/>
    <linkfile src="libsel4simple" dest="libs/libsel4simple"/>
    <linkfile src="libsel4simple-default" dest="libs/libsel4simple-default"/>
    <linkfile src="libsel4simple-stable" dest="libs/libsel4simple-stable"/>
    <linkfile src="libsel4test" dest="libs/libsel4test"/>
    <linkfile src="libsel4utils" dest="libs/libsel4utils"/>
    <linkfile src="libsel4vka" dest="libs/libsel4vka"/>
    <linkfile src="libsel4vspace" dest="libs/libsel4vspace"/>
    <linkfile src="libsel4sync" dest="libs/libsel4sync"/>
</project>
<project name="util_libs.git" path="projects/util_libs" revision="5.0.x-compatible">
    <linkfile src="libcpio" dest="libs/libcpio"/>
    <linkfile src="libelf" dest="libs/libelf"/>
    <linkfile src="libplatsupport" dest="libs/libplatsupport"/>
    <linkfile src="libutils" dest="libs/libutils"/>
</project>
<project name="sel4test.git" path="projects/sel4test" revision="5.0.x-compatible">
    <linkfile src="Makefile" dest="Makefile"/>
    <linkfile src="Kbuild" dest="Kbuild"/>
    <linkfile src="Kconfig" dest="Kconfig"/>
    <linkfile src="master-configs" dest="configs"/>
    <linkfile src="apps" dest="apps"/>
    <linkfile src="../../kernel/libsel4" dest="libs/libsel4"/>
</project>

</manifest>