test.xml

<?xml version="1.0" encoding="UTF-8"?>
<!--
     Copyright 2018, Data61, CSIRO

     SPDX-License-Identifier: BSD-2-Clause
-->
<manifest>

<include name="common.xml"/>

<project name="sel4test.git" path="projects/sel4test">
    <linkfile src="easy-settings.cmake" dest="easy-settings.cmake"/>
</project>
<project name="nanopb" path="tools/nanopb" revision="refs/tags/0.4.3" upstream="master" remote="nanopb"/>

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

</manifest>