Commit 3f619774 authored by Bamboo's avatar Bamboo
Browse files

Release 11.0.0: Updating default.xml

Change-Id: I466181774f6cb2b88e82a8ff6ba562bbaec355c0
parent 3dfefce2
......@@ -20,7 +20,7 @@
<project name="musllibc.git" path="projects/musllibc" revision="1c6350ea6149e8a6b7de8890c34ba3ed615afe60" upstream="sel4"/>
<project name="nanopb" path="tools/nanopb" remote="nanopb" revision="847ac296b50936a8b13d1434080cef8edeba621c" upstream="master"/>
<project name="riscv-pk" path="tools/riscv-pk" remote="sel4proj" revision="d3293c7c23e923338318f3860b2f20dd0b51a016" upstream="fix-32bit"/>
<project name="seL4.git" path="kernel" revision="eb2bdf8463e9a6592e58db3b3111853affb856d1" upstream="master"/>
<project name="seL4.git" path="kernel" revision="ff216025041bfab6a45080eaabda2ff4af5db3e9" upstream="master"/>
<project name="seL4_libs.git" path="projects/seL4_libs" revision="c4e061572c9acd2915fa5f1dee10353db391e45a" upstream="master"/>
<project name="seL4_tools.git" path="tools/seL4" revision="afbad19d98166ff6c2b92696f598e92dc75da6ee" upstream="master">
<linkfile dest="init-build.sh" src="cmake-tool/init-build.sh"/>
......
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