Commit a8c9fadc authored by Kent McLeod's avatar Kent McLeod
Browse files

Move 5.2.x.xml to default.xml

parent 07bf61ea
<!--
Copyright 2017, 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="." name="seL4" />
<default remote="seL4" revision="master" />
<project name="seL4.git" path="kernel" revision="refs/tags/1.0.4" revision="1.0.x-compatible"/>
<project name="common-tool.git" path="tools/common" revision="1.0.x-compatible"/>
<project name="kbuild-tool.git" path="tools/kbuild" revision="1.0.x-compatible"/>
<project name="elfloader-tool.git" path="tools/elfloader" revision="1.0.x-compatible"/>
<project name="musllibc.git" path="libs/libmuslc" revision="sel4" />
<project name="libsel4muslcsys.git" path="libs/libsel4muslcsys" revision="1.0.x-compatible"/>
<project name="libsel4platsupport.git" path="libs/libsel4platsupport" revision="1.0.x-compatible"/>
<project name="libsel4test.git" path="libs/libsel4test" revision="1.0.x-compatible"/>
<project name="libsel4allocman.git" path="libs/libsel4allocman" revision="1.0.x-compatible"/>
<project name="libsel4vka.git" path="libs/libsel4vka" revision="1.0.x-compatible"/>
<project name="libsel4vspace.git" path="libs/libsel4vspace" revision="1.0.x-compatible"/>
<project name="libsel4utils.git" path="libs/libsel4utils" revision="1.0.x-compatible"/>
<project name="libcpio.git" path="libs/libcpio" revision="1.0.x-compatible"/>
<project name="libelf.git" path="libs/libelf" revision="1.0.x-compatible"/>
<project name="libsel4simple.git" path="libs/libsel4simple" revision="1.0.x-compatible"/>
<project name="libsel4simple-default.git" path="libs/libsel4simple-default" revision="1.0.x-compatible"/>
<project name="libsel4simple-stable.git" path="libs/libsel4simple-stable" revision="1.0.x-compatible"/>
<project name="libplatsupport.git" path="libs/libplatsupport" revision="1.0.x-compatible"/>
<project name="libutils.git" path="libs/libutils" revision="1.0.x-compatible"/>
<project name="sel4test.git" path="projects/sel4test" revision="1.0.x-compatible">
<linkfile dest="Makefile" src="Makefile" />
<linkfile dest="Kbuild" src="Kbuild" />
<linkfile dest="Kconfig" src="Kconfig" />
<linkfile dest="configs" src="master-configs" />
<linkfile dest="apps" src="apps" />
<linkfile dest="libs/libsel4" src="../../kernel/libsel4" />
</project>
</manifest>
\ No newline at end of file
<!--
Copyright 2017, 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="." name="seL4" />
<default remote="seL4" revision="master" />
<project name="seL4.git" path="kernel" revision="refs/tags/2.0.0" />
<project name="seL4_tools.git" path="projects/tools" revision="2.0.x-compatible">
<linkfile dest="tools/common" src="common-tool" />
<linkfile dest="tools/kbuild" src="kbuild-tool" />
<linkfile dest="tools/elfloader" src="elfloader-tool" />
</project>
<project name="musllibc.git" path="libs/libmuslc" revision="sel4" />
<project name="seL4_libs.git" path="projects/seL4_libs" revision="2.0.x-compatible" >
<linkfile dest="libs/libsel4allocman" src="libsel4allocman" />
<linkfile dest="libs/libsel4debug" src="libsel4debug" />
<linkfile dest="libs/libsel4muslcsys" src="libsel4muslcsys" />
<linkfile dest="libs/libsel4platsupport" src="libsel4platsupport" />
<linkfile dest="libs/libsel4simple" src="libsel4simple" />
<linkfile dest="libs/libsel4simple-default" src="libsel4simple-default" />
<linkfile dest="libs/libsel4simple-stable" src="libsel4simple-stable" />
<linkfile dest="libs/libsel4test" src="libsel4test" />
<linkfile dest="libs/libsel4utils" src="libsel4utils" />
<linkfile dest="libs/libsel4vka" src="libsel4vka" />
<linkfile dest="libs/libsel4vspace" src="libsel4vspace" />
</project>
<project name="util_libs.git" path="projects/util_libs" revision="2.0.x-compatible">
<linkfile dest="libs/libcpio" src="libcpio" />
<linkfile dest="libs/libelf" src="libelf" />
<linkfile dest="libs/libplatsupport" src="libplatsupport" />
<linkfile dest="libs/libutils" src="libutils" />
</project>
<project name="sel4test.git" path="projects/sel4test" revision="2.0.x-compatible">
<linkfile dest="Makefile" src="Makefile" />
<linkfile dest="Kbuild" src="Kbuild" />
<linkfile dest="Kconfig" src="Kconfig" />
<linkfile dest="configs" src="master-configs" />
<linkfile dest="apps" src="apps" />
<linkfile dest="libs/libsel4" src="../../kernel/libsel4" />
</project>
</manifest>
\ No newline at end of file
<!--
Copyright 2017, 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="." name="seL4" />
<default remote="seL4" revision="master" />
<project name="seL4.git" path="kernel" revision="refs/tags/2.1.0" />
<project name="seL4_tools.git" path="projects/tools" revision="2.1.x-compatible">
<linkfile dest="tools/common" src="common-tool" />
<linkfile dest="tools/kbuild" src="kbuild-tool" />
<linkfile dest="tools/elfloader" src="elfloader-tool" />
</project>
<project name="musllibc.git" path="libs/libmuslc" revision="2.1.x-compatible" />
<project name="seL4_libs.git" path="projects/seL4_libs" revision="2.1.x-compatible">
<linkfile dest="libs/libsel4allocman" src="libsel4allocman" />
<linkfile dest="libs/libsel4debug" src="libsel4debug" />
<linkfile dest="libs/libsel4muslcsys" src="libsel4muslcsys" />
<linkfile dest="libs/libsel4platsupport" src="libsel4platsupport" />
<linkfile dest="libs/libsel4simple" src="libsel4simple" />
<linkfile dest="libs/libsel4simple-default" src="libsel4simple-default" />
<linkfile dest="libs/libsel4simple-stable" src="libsel4simple-stable" />
<linkfile dest="libs/libsel4test" src="libsel4test" />
<linkfile dest="libs/libsel4utils" src="libsel4utils" />
<linkfile dest="libs/libsel4vka" src="libsel4vka" />
<linkfile dest="libs/libsel4vspace" src="libsel4vspace" />
</project>
<project name="util_libs.git" path="projects/util_libs" revision="2.1.x-compatible">
<linkfile dest="libs/libcpio" src="libcpio" />
<linkfile dest="libs/libelf" src="libelf" />
<linkfile dest="libs/libplatsupport" src="libplatsupport" />
<linkfile dest="libs/libutils" src="libutils" />
</project>
<project name="sel4test.git" path="projects/sel4test" revision="2.1.x-compatible">
<linkfile dest="Makefile" src="Makefile" />
<linkfile dest="Kbuild" src="Kbuild" />
<linkfile dest="Kconfig" src="Kconfig" />
<linkfile dest="configs" src="master-configs" />
<linkfile dest="apps" src="apps" />
<linkfile dest="libs/libsel4" src="../../kernel/libsel4" />
</project>
</manifest>
\ No newline at end of file
<!--
Copyright 2017, 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="." name="seL4" />
<default remote="seL4" revision="master" />
<project name="seL4.git" path="kernel" revision="refs/tags/3.0.1" />
<project name="seL4_tools.git" path="projects/tools" revision="3.0.x-compatible">
<linkfile dest="tools/common" src="common-tool" />
<linkfile dest="tools/kbuild" src="kbuild-tool" />
<linkfile dest="tools/elfloader" src="elfloader-tool" />
</project>
<project name="musllibc.git" path="libs/libmuslc" revision="3.0.x-compatible" />
<project name="seL4_libs.git" path="projects/seL4_libs" revision="3.0.x-compatible">
<linkfile dest="libs/libsel4allocman" src="libsel4allocman" />
<linkfile dest="libs/libsel4debug" src="libsel4debug" />
<linkfile dest="libs/libsel4muslcsys" src="libsel4muslcsys" />
<linkfile dest="libs/libsel4platsupport" src="libsel4platsupport" />
<linkfile dest="libs/libsel4simple" src="libsel4simple" />
<linkfile dest="libs/libsel4simple-default" src="libsel4simple-default" />
<linkfile dest="libs/libsel4simple-stable" src="libsel4simple-stable" />
<linkfile dest="libs/libsel4test" src="libsel4test" />
<linkfile dest="libs/libsel4utils" src="libsel4utils" />
<linkfile dest="libs/libsel4vka" src="libsel4vka" />
<linkfile dest="libs/libsel4vspace" src="libsel4vspace" />
</project>
<project name="util_libs.git" path="projects/util_libs" revision="3.0.x-compatible">
<linkfile dest="libs/libcpio" src="libcpio" />
<linkfile dest="libs/libelf" src="libelf" />
<linkfile dest="libs/libplatsupport" src="libplatsupport" />
<linkfile dest="libs/libutils" src="libutils" />
</project>
<project name="sel4test.git" path="projects/sel4test" revision="3.0.x-compatible">
<linkfile dest="Makefile" src="Makefile" />
<linkfile dest="Kbuild" src="Kbuild" />
<linkfile dest="Kconfig" src="Kconfig" />
<linkfile dest="configs" src="master-configs" />
<linkfile dest="apps" src="apps" />
<linkfile dest="libs/libsel4" src="../../kernel/libsel4" />
</project>
</manifest>
\ No newline at end of file
<!--
Copyright 2017, 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>
<!-- 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="refs/tags/3.1.0"/>
<project name="seL4_tools.git" path="projects/tools" revision="3.1.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="3.1.x-compatible"/>
<project name="seL4_libs.git" path="projects/seL4_libs" revision="3.1.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"/>
</project>
<project name="util_libs.git" path="projects/util_libs" revision="3.1.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="3.1.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>
\ No newline at end of file
<!--
Copyright 2017, 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>
<!-- 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="refs/tags/3.2.0"/>
<project name="seL4_tools.git" path="projects/tools" revision="3.2.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="3.2.x-compatible"/>
<project name="seL4_libs.git" path="projects/seL4_libs" revision="3.2.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"/>
</project>
<project name="util_libs.git" path="projects/util_libs" revision="3.2.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="3.2.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>
\ No newline at end of file
<!--
Copyright 2017, 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>
<!-- 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="refs/tags/4.0.0"/>
<project name="seL4_tools.git" path="projects/tools" revision="4.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="4.0.x-compatible"/>
<project name="seL4_libs.git" path="projects/seL4_libs" revision="4.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="4.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="4.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>
<!--
Copyright 2017, 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>
<!-- 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="refs/tags/5.0.0"/>
<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>
\ No newline at end of file
<!--
Copyright 2017, 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>
<!-- 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="refs/tags/5.1.0"/>
<project name="seL4_tools.git" path="projects/tools" revision="5.1.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.1.x-compatible"/>
<project name="seL4_libs.git" path="projects/seL4_libs" revision="5.1.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.1.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.1.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>
\ No newline at end of file
<!--
Copyright 2017, 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>
<!-- 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="refs/tags/5.2.0-mcs"/>
<project name="seL4_tools.git" path="projects/tools" revision="5.2.x-mcs-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.2.x-mcs-compatible"/>
<project name="seL4_libs.git" path="projects/seL4_libs" revision="5.2.x-mcs-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.2.x-mcs-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.2.x-mcs-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>
\ No newline at end of file
<!--
Copyright 2017, 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>
<!-- 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="refs/tags/5.2.0"/>
<project name="seL4_tools.git" path="projects/tools" revision="5.2.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.2.x-compatible"/>
<project name="seL4_libs.git" path="projects/seL4_libs" revision="5.2.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.2.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.2.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"/>