-
Notifications
You must be signed in to change notification settings - Fork 6
/
Copy pathmaster.xml
36 lines (32 loc) · 1.97 KB
/
master.xml
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
<?xml version="1.0" encoding="UTF-8"?>
<!--
Copyright 2019, Data61
Commonwealth Scientific and Industrial Research Organisation (CSIRO)
ABN 41 687 119 230.
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(DATA61_BSD)
-->
<manifest>
<remote fetch="../seL4" name="seL4"/>
<remote fetch="." name="sel4proj"/>
<remote fetch="https://github.com/riscv" name="opensbi"/>
<default remote="seL4" revision="master"/>
<project name="musllibc.git" path="projects/musllibc" remote="seL4" revision="3d6b939e8f05cb1d2a1a8c8166609bf2e652e975" upstream="sel4"/>
<project name="riscv-pk" path="tools/riscv-pk" remote="seL4" revision="riscv_he_v0.6"/>
<project name="seL4.git" path="kernel" remote="seL4" revision="riscv_he_v0.6" upstream="riscv_he_v0.6"/>
<project name="seL4_libs.git" path="projects/seL4_libs" revision="riscv_hyp" upstream="riscv_hyp"/>
<project name="seL4_tools.git" path="tools/seL4" revision="3234b1fb94dea6525e3ba3df205a453baf63c1ae" upstream="master">
<linkfile dest="CMakeLists.txt" src="cmake-tool/default-CMakeLists.txt"/>
<linkfile dest="init-build.sh" src="cmake-tool/init-build.sh"/>
<linkfile dest="griddle" src="cmake-tool/griddle"/>
</project>
<project name="sel4runtime.git" path="projects/sel4runtime" remote="sel4proj" revision="d935dd05da0cf959e9fd0140af913dc6fdaa0221" upstream="master"/>
<project name="sel4_riscv_vmm.git" path="projects/sel4_riscv_vmm" remote="sel4proj" upstream="master">
<linkfile dest="easy-settings.cmake" src="easy-settings.cmake"/>
<linkfile dest="settings.cmake" src="settings.cmake"/>
</project>
<project name="util_libs.git" path="projects/util_libs" revision="5df1034155667093a5e7a435b621067013ed8c26" upstream="master"/>
<project name="opensbi" remote="opensbi" revision="a98258d0b537a295f517bbc8d813007336731fa9" path="tools/opensbi"/>
</manifest>