default.xml

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

<!--
     Copyright 2014, 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="seL4" fetch="https://github.com/seL4/"/>

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

<default revision="master" remote="seL4"/>

<project name="seL4.git" path="kernel" revision="arm_hyp" remote="smaccm"/>

<project name="common-tool.git" path="tools/common"/>
<project name="kbuild-tool.git" path="tools/kbuild"/>
<project name="elfloader-tool.git" path="tools/elfloader"/>

<project name="libmuslc.git" path="libs/libmuslc"/>
<project name="libsel4muslcsys.git" path="libs/libsel4muslcsys"/>
<project name="libsel4platsupport.git" path="libs/libsel4platsupport"/>
<project name="libsel4test.git" path="libs/libsel4test"/>
<project name="libsel4allocman.git" path="libs/libsel4allocman"/>
<project name="libsel4vka.git" path="libs/libsel4vka"/>
<project name="libsel4vspace.git" path="libs/libsel4vspace"/>
<project name="libsel4utils.git" path="libs/libsel4utils"/>
<project name="libcpio.git" path="libs/libcpio"/>
<project name="libelf.git" path="libs/libelf"/>
<project name="libsel4simple.git" path="libs/libsel4simple"/>
<project name="libsel4simple-default.git" path="libs/libsel4simple-default"/>
<project name="libsel4simple-stable.git" path="libs/libsel4simple-stable"/>
<project name="libplatsupport.git" path="libs/libplatsupport"/>
<project name="libutils.git" path="libs/libutils"/>
<project name="libsel4twinkle.git" path="libs/libsel4twinkle" remote="smaccm"/>
<project name="libsel4arm-vmm.git" path="libs/libsel4arm-vmm" remote="smaccm"/>

<project name="sel4arm-vmm.git" path="projects/sel4arm-vmm" remote="smaccm">
    <linkfile src="Makefile" dest="Makefile"/>
    <linkfile src="Kbuild" dest="Kbuild"/>
    <linkfile src="Kconfig" dest="Kconfig"/>
    <linkfile src="configs" dest="configs"/>
    <linkfile src="apps/linux" dest="apps/linux"/>
    <linkfile src="apps/sel4arm-vmm" dest="apps/sel4arm-vmm"/>
    <linkfile src="../../kernel/libsel4" dest="libs/libsel4"/>
    <linkfile src="../../projects/linux" dest="apps/linux/linux"/>
</project>

<project name="odroid-3.14.y-linaro.git" path="projects/linux" revision="odroid-3.14.y-linaro" remote="smaccm">

</project>

</manifest>