sel4bench-18072018.xml

<?xml version="1.0" encoding="UTF-8"?>

<manifest>

<remote name="heshamelmatary"
fetch="."
/>

<default revision="RISCVUnofficialRelease-18072018"
remote="heshamelmatary"
/>

<project name="seL4.git" path="kernel"/>

<project name="musllibc.git" path="projects/musllibc">
<linkfile dest="libs/libmuslc" src="."/>
</project>
<project name="riscv-pk" path="projects/riscv-pk">
<linkfile dest="tools/riscv-pk" src="."/>
</project>

<project name="projects_libs" path="projects/projects_libs">
    <linkfile src="libjansson" dest="libs/libjansson"/>
</project>

<project name="seL4_libs.git" path="projects/seL4_libs">
    <linkfile src="libsel4allocman" dest="libs/libsel4allocman" />
    <linkfile src="libsel4bench" dest="libs/libsel4bench" />
    <linkfile src="libsel4muslcsys" dest="libs/libsel4muslcsys" />
    <linkfile src="libsel4platsupport" dest="libs/libsel4platsupport" />
    <linkfile src="libsel4vka" dest="libs/libsel4vka" />
    <linkfile src="libsel4vspace" dest="libs/libsel4vspace" />
    <linkfile src="libsel4utils" dest="libs/libsel4utils" />
    <linkfile src="libsel4simple" dest="libs/libsel4simple" />
    <linkfile src="libsel4simple-default" dest="libs/libsel4simple-default" />
    <linkfile src="libsel4simple-stable" dest="libs/libsel4simple-stable" />
    <linkfile src="libsel4debug" dest="libs/libsel4debug" />
    <linkfile src="libsel4sync" dest="libs/libsel4sync" />
    <linkfile src="libsel4serialserver" dest="libs/libsel4serialserver" />
    <linkfile src="libsel4test" dest="libs/libsel4test" />
</project>
<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="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="sel4bench.git" path="projects/sel4bench">
    <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="libsel4benchsupport" dest="libs/libsel4benchsupport"/>
</project>
</manifest>