sel4test-24062017.xml

<?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-24062017"
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" />
</project>
<project name="musllibc.git" path="libs/libmuslc" />
<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="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"/>
</project>

</manifest>