parent
38213d1b46
commit
d4b6f42b5b
30
master.xml
30
master.xml
|
@ -1,5 +1,4 @@
|
|||
<?xml version="1.0" encoding="UTF-8"?>
|
||||
|
||||
<!--
|
||||
Copyright 2018, Data61
|
||||
Commonwealth Scientific and Industrial Research Organisation (CSIRO)
|
||||
|
@ -11,49 +10,26 @@
|
|||
|
||||
@TAG(DATA61_BSD)
|
||||
-->
|
||||
|
||||
<manifest>
|
||||
<remote name="seL4"
|
||||
fetch="../seL4"
|
||||
/>
|
||||
|
||||
<remote name="SEL4PROJ"
|
||||
fetch="../SEL4PROJ"
|
||||
/>
|
||||
|
||||
<remote name="seL4" fetch="../seL4"/>
|
||||
<remote name="SEL4PROJ" fetch="../SEL4PROJ"/>
|
||||
<!-- default revision for each project, and name of the remote -->
|
||||
<default revision="master"
|
||||
remote="seL4"
|
||||
/>
|
||||
|
||||
<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"/>
|
||||
|
||||
<project name="seL4_tools.git" 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="camkes-tool.git" path="projects/camkes-tool">
|
||||
<linkfile src="docs/index.md" dest="README.md"/>
|
||||
</project>
|
||||
|
||||
<project name="capdl.git" path="projects/capdl"/>
|
||||
|
||||
<project name="pruner.git" path="tools/pruner"/>
|
||||
|
||||
<project name="seL4_libs.git" path="projects/seL4_libs"/>
|
||||
|
||||
<project name="util_libs.git" path="projects/util_libs"/>
|
||||
|
||||
<project name="musllibc.git" path="projects/musllibc" revision="sel4"/>
|
||||
|
||||
<project remote="SEL4PROJ" name="rumprun.git" path="projects/rumprun"/>
|
||||
|
||||
<project remote="SEL4PROJ" name="global-components.git" path="projects/global-components"/>
|
||||
|
||||
<project name="camkes.git" path="projects/camkes"/>
|
||||
|
||||
|
||||
</manifest>
|
||||
|
||||
|
|
Loading…
Reference in New Issue