Commit 438578d3 authored by Bamboo's avatar Bamboo
Browse files

Release 10.0.0: Updating default.xml

Change-Id: I34ef0023211efc42ea9ba84eaaf6a95a6138683e
parent 5f8d44d7
......@@ -22,7 +22,7 @@
<project name="riscv-pk" path="projects/riscv-pk" remote="sel4proj" revision="db937e995b09d343fb7146c447b0780ab1dca66b" upstream="fix-32bit">
<linkfile dest="tools/riscv-pk" src="."/>
</project>
<project name="seL4.git" path="kernel" revision="6e5b4de4fc7b7bfd7d05ca70a4b0595e54d08005" upstream="master"/>
<project name="seL4.git" path="kernel" revision="5c7f7844a6225acd0865d4c063ddac4c1a518963" upstream="master"/>
<project name="seL4_libs.git" path="projects/seL4_libs" revision="1697cb16ecbc7820cbda78d7c7c1896e884195a1" upstream="master">
<linkfile dest="libs/libsel4allocman" src="libsel4allocman"/>
<linkfile dest="libs/libsel4debug" src="libsel4debug"/>
......
Markdown is supported
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment