56 lines
1.6 KiB
XML
56 lines
1.6 KiB
XML
<?xml version="1.0" encoding="UTF-8"?>
|
|
<!--
|
|
Copyright 2017, Data61, CSIRO (ABN 41 687 119 230)
|
|
|
|
SPDX-License-Identifier: BSD-2-Clause
|
|
-->
|
|
|
|
<manifest>
|
|
<remote name="seL4"
|
|
fetch="../seL4"
|
|
/>
|
|
|
|
<remote name="seL4-projects"
|
|
fetch="../seL4proj"
|
|
/>
|
|
|
|
<remote name="iperf"
|
|
fetch="https://github.com/esnet/"
|
|
/>
|
|
|
|
<!-- 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" path="kernel"/>
|
|
|
|
<project name="seL4_tools" path="tools/seL4">
|
|
<linkfile src="cmake-tool/init-build.sh" dest="init-build.sh"/>
|
|
<linkfile src="cmake-tool/default-CMakeLists.txt" dest="CMakeLists.txt"/>
|
|
</project>
|
|
|
|
<project name="seL4_libs" path="projects/seL4_libs"/>
|
|
|
|
<project name="util_libs" path="projects/util_libs"/>
|
|
|
|
<project name="musllibc" path="projects/musllibc" revision="sel4"/>
|
|
|
|
<project name="sel4runtime.git" path="projects/sel4runtime"/>
|
|
|
|
<project name="rumprun-sel4-demoapps" path="projects/rumprun-sel4-demoapps">
|
|
<linkfile src="README.md" dest="README.md"/>
|
|
<linkfile src="settings.cmake" dest="settings.cmake"/>
|
|
</project>
|
|
|
|
<project name="rumprun" path="projects/rumprun"/>
|
|
|
|
<project name="rumprun-packages" path="projects/rumprun-packages"/>
|
|
|
|
<project name="leveldb" remote="seL4-projects" revision="sel4" path="projects/leveldb"/>
|
|
|
|
<!-- Revision for version 3.1.3 -->
|
|
<project name="iperf" remote="iperf" path="projects/iperf" revision="refs/tags/3.1.3"/>
|
|
</manifest>
|