Skip to content
Snippets Groups Projects
Commit 1c48d2d4 authored by Kent McLeod's avatar Kent McLeod
Browse files

Move 5.0.x.xml to default.xml

parent 07bf61ea
No related branches found
Tags 5.0.0
No related merge requests found
<!--
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"/>
</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/6.0.0"/>
<project name="seL4_tools.git" path="projects/tools" revision="6.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="6.0.x-compatible"/>
<project name="seL4_libs.git" path="projects/seL4_libs" revision="6.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="6.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="6.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/7.0.0"/>
<project name="seL4_tools.git" path="projects/tools" revision="7.0.x-compatible">
<linkfile src="common-tool" dest="tools/common"/>
<linkfile src="kbuild-tool" dest="tools/kbuild"/>
<linkfile src="elfloader-tool" dest="tools/elfloader"/>
<linkfile src="cmake-tool" dest="tools/cmake-tool"/>
<linkfile src="cmake-tool/default-CMakeLists.txt" dest="CMakeLists.txt"/>
</project>
<project name="musllibc.git" path="projects/musllibc" revision="7.0.x-compatible">
<linkfile src="." dest="libs/libmuslc"/>
</project>
<project name="seL4_libs.git" path="projects/seL4_libs" revision="7.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="7.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="7.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
<?xml version="1.0" encoding="UTF-8"?>
<!--
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 name="seL4"
fetch="."
/>
<default revision="master"
remote="seL4"
/>
<project name="seL4.git" path="kernel"/>
<project name="seL4_tools.git" path="tools">
<linkfile src="cmake-tool/default-CMakeLists.txt" dest="CMakeLists.txt"/>
</project>
<project name="musllibc.git" path="projects/musllibc" revision="sel4"/>
<project name="seL4_libs.git" path="projects/seL4_libs"/>
<project name="util_libs.git" path="projects/util_libs"/>
<project name="sel4test.git" path="projects/sel4test"/>
</manifest>
<?xml version="1.0" encoding="UTF-8"?>
<!--
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 '.'
note: this manifest is not intended to be used directly, but should be included
into a manifest that also declares a kernel -->
<remote name="seL4"
fetch="."
/>
<remote fetch="../sel4proj" name="sel4proj"/>
<default revision="master"
remote="seL4"
/>
<project name="seL4_tools.git" path="projects/tools">
<linkfile src="common-tool" dest="tools/common"/>
<linkfile src="kbuild-tool" dest="tools/kbuild"/>
<linkfile src="elfloader-tool" dest="tools/elfloader" />
<linkfile src="cmake-tool" dest="tools/cmake-tool" />
<linkfile src="cmake-tool/default-CMakeLists.txt" dest="CMakeLists.txt"/>
<linkfile src="cmake-tool/init-build.sh" dest="init-build.sh"/>
</project>
<project name="musllibc.git" path="projects/musllibc" revision="sel4">
<linkfile src="." dest="libs/libmuslc"/>
</project>
<project name="seL4_libs.git" path="projects/seL4_libs">
<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="libsel4serialserver" dest="libs/libsel4serialserver" />
<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">
<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">
<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"/>
<linkfile src="libsel4testsupport" dest="libs/libsel4testsupport" />
</project>
<project name="riscv-pk" remote="sel4proj" revision="fix-32bit" path="projects/riscv-pk">
<linkfile src="." dest="tools/riscv-pk" />
</project>
</manifest>
<?xml version="1.0" encoding="UTF-8"?>
<!--
Copyright 2018, Data61
Copyright 2017, Data61
Commonwealth Scientific and Industrial Research Organisation (CSIRO)
ABN 41 687 119 230.
......@@ -11,54 +10,47 @@
@TAG(DATA61_BSD)
-->
<manifest>
<remote fetch="." name="seL4"/>
<remote fetch="../sel4proj" name="sel4proj"/>
<default remote="seL4" revision="master"/>
<project name="musllibc.git" path="projects/musllibc" revision="f58dacf44a679a2d7c10fbb8d8bc8f58e2123791" upstream="sel4">
<linkfile dest="libs/libmuslc" src="."/>
</project>
<project name="riscv-pk" path="projects/riscv-pk" remote="sel4proj" revision="db937e995b09d343fb7146c447b0780ab1dca66b" upstream="fix-32bit">
<linkfile dest="tools/riscv-pk" src="."/>
</project>
<project name="seL4.git" path="kernel" revision="f5725b0e4999963ad33218d16503096e0570637c" upstream="master"/>
<project name="seL4_libs.git" path="projects/seL4_libs" revision="1697cb16ecbc7820cbda78d7c7c1896e884195a1" upstream="master">
<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/libsel4serialserver" src="libsel4serialserver"/>
<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"/>
<linkfile dest="libs/libsel4sync" src="libsel4sync"/>
</project>
<project name="seL4_tools.git" path="projects/tools" revision="9cd9d57ec8783db3d3bcea1821d7e7e1fe84d34e" upstream="master">
<linkfile dest="tools/common" src="common-tool"/>
<linkfile dest="tools/kbuild" src="kbuild-tool"/>
<linkfile dest="tools/elfloader" src="elfloader-tool"/>
<linkfile dest="tools/cmake-tool" src="cmake-tool"/>
<linkfile dest="CMakeLists.txt" src="cmake-tool/default-CMakeLists.txt"/>
<linkfile dest="init-build.sh" src="cmake-tool/init-build.sh"/>
</project>
<project name="sel4test.git" path="projects/sel4test" revision="1408da4f282ff719c98c6d49e0980b4f84e7bc4f" upstream="master">
<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"/>
<linkfile dest="libs/libsel4testsupport" src="libsel4testsupport"/>
</project>
<project name="util_libs.git" path="projects/util_libs" revision="9e249f940b84a9c803f79d34fbcfc5c98e722bfc" upstream="master">
<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>
</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
<?xml version="1.0" encoding="UTF-8"?>
<!--
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>
<!-- include all the common repositories, we just want to define the kernel -->
<include name="common.xml"/>
<project name="seL4.git" path="kernel"/>
</manifest>
<?xml version="1.0" encoding="UTF-8"?>
<!--
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>
<!-- include all the common repositories, we just want to define the kernel -->
<include name="common.xml"/>
<project name="seL4.git" path="kernel" revision="refs/tags/9.0.0-mcs"/>
</manifest>
0% Loading or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment