vm-local.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>
    <remote name="seL4"
        fetch="../seL4"
    />

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

    <remote name="SEL4PROJ"
        fetch="../SEL4PROJ"
    />
    <!-- default revision for each project, and name of the remote -->
    <default revision="master"
        remote="seL4"
    />
    <!-- list of 'projects' (i.e repositories), path is relative to the path in remote above -->
    
    <project name="seL4.git" path="kernel" revision="experimental">
        <linkfile src="libsel4" dest="libs/libsel4"/>
    </project>

    <project remote="kgamlath" name="camkes-tool.git" path="tools/camkes" revision="vm_x86">
        <linkfile src="toplevel.mk" dest="Makefile"/>
        <linkfile src="Kbuild" dest="Kbuild"/>
        <linkfile src="docs/index.md" dest="camkes_README.md"/>
        <linkfile src="libsel4camkes" dest="libs/libsel4camkes"/>
        <linkfile src="libsel4muslccamkes" dest="libs/libsel4muslccamkes"/>
    </project>

    <project remote="kgamlath" name="capdl.git" path="projects/capdl" revision="vm_x86">
        <linkfile src="capdl-loader-app" dest="apps/capdl-loader-experimental"/>
        <linkfile src="capDL-tool" dest="tools/capDL"/>
        <linkfile src="python-capdl-tool" dest="tools/python-capdl"/>
    </project>

    <project name="musllibc.git" path="libs/libmuslc" revision="sel4"/>
    <project remote="SEL4PROJ" name="global-components.git" path="projects/global-components"/>

    <project name="seL4_tools.git" path="projects/seL4_tools">
        <linkfile src="common-tool" dest="tools/common"/>
        <linkfile src="elfloader-tool" dest="tools/elfloader"/>
        <linkfile src="kbuild-tool" dest="tools/kbuild"/>
    </project>

    <project name="util_libs.git" path="projects/util_libs">
        <linkfile src="libcpio" dest="libs/libcpio"/>
        <linkfile src="libelf" dest="libs/libelf"/>
        <linkfile src="libethdrivers" dest="libs/libethdrivers"/>
        <linkfile src="libpci" dest="libs/libpci"/>
        <linkfile src="libplatsupport" dest="libs/libplatsupport"/>
        <linkfile src="libutils" dest="libs/libutils"/>
    </project>

    <project name="seL4_libs.git" path="projects/seL4_libs" revision="fba25ff422690607861911cfe5cf297052f5b1bd">
        <linkfile src="libsel4allocman" dest="libs/libsel4allocman"/>
        <linkfile src="libsel4bench" dest="libs/libsel4bench"/>
        <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-stable" dest="libs/libsel4simple-stable"/>
        <linkfile src="libsel4sync" dest="libs/libsel4sync"/>
        <linkfile src="libsel4utils" dest="libs/libsel4utils"/>
        <linkfile src="libsel4vka" dest="libs/libsel4vka"/>
        <linkfile src="libsel4vmm" dest="libs/libsel4vmm"/>
        <linkfile src="libsel4vspace" dest="libs/libsel4vspace"/>
        <linkfile src="libsel4simple-default" dest="libs/libsel4simple-default"/>
    </project>

    <project name="camkes-vm.git" path="projects/vm">
        <!-- symlinks to make the project structure fit the build system -->
        <linkfile src="Kconfig" dest="Kconfig"/>
        <linkfile src="configs" dest="configs"/>
        <linkfile src="libsel4cxx" dest="libs/libsel4cxx"/>
        <linkfile src="liblwip" dest="libs/liblwip"/>
        <linkfile src="tools/elf" dest="tools/elf"/>
        <linkfile src="apps/vm" dest="apps/vm"/>
        <linkfile src="apps/c162_twovm" dest="apps/c162_twovm"/>
        <linkfile src="apps/optiplex9020_onevm" dest="apps/optiplex9020_onevm"/>
        <linkfile src="apps/cma34cr_singlevm" dest="apps/cma34cr_singlevm"/>
        <linkfile src="apps/cma34cr_twovm" dest="apps/cma34cr_twovm"/>
        <linkfile src="apps/cma34cr_vchan" dest="apps/cma34cr_vchan"/>
        <linkfile src="apps/cxx" dest="apps/cxx"/>
        <linkfile src="README.md" dest="README.md"/>
    </project>

    <project remote="kgamlath" name="gdb_test.git" path="apps/gdb_test"/>
    
    <project remote="kgamlath" name="debug.git" path="tools/debug" revision="experimental">
        <linkfile src="qemu_debug.sh" dest="qemu_debug.sh"/>
    </project>

    <project name="pruner.git" path="tools/pruner"/>

</manifest>