Permalink
Switch branches/tags
Nothing to show
Find file Copy path
Fetching contributors…
Cannot retrieve contributors at this time
72 lines (62 sloc) 2.82 KB
<?xml version="1.0" encoding="UTF-8"?>
<!--
Copyright 2017, 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="heshamelmatary"
fetch="."
/>
<default revision="RISCVUnofficialRelease-06032018"
remote="heshamelmatary"
/>
<project name="seL4.git" path="kernel"/>
<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">
<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>
</manifest>