Commit 1d92598e authored by Bamboo's avatar Bamboo
Browse files

Release 10.1.1: Updating default.xml

Change-Id: I460d066d48dd55bca358c6f63d5b672bfc40325e
parent 883953b2
......@@ -18,7 +18,7 @@
<project name="musllibc.git" path="projects/musllibc" revision="9e288a83f17de80e54af87852674d70f59d6beee" upstream="sel4"/>
<project name="riscv-pk" path="tools/riscv-pk" remote="sel4proj" revision="db937e995b09d343fb7146c447b0780ab1dca66b" upstream="fix-32bit"/>
<project name="seL4.git" path="kernel" revision="d12bb374ab47d2b13f438969d2eb5dde1021af84" upstream="master"/>
<project name="seL4.git" path="kernel" revision="57e5417ce24ad6a37912dda47495f02b8c7eb60f" upstream="master"/>
<project name="seL4_libs.git" path="projects/seL4_libs" revision="ea427b1bcc4238cc0111161888ff87a8772bbd7b" upstream="master"/>
<project name="seL4_tools.git" path="tools/seL4" revision="e8c8f9e1a3c37508fb1c395884a11d2a569e1ef6" upstream="master">
<linkfile dest="CMakeLists.txt" src="cmake-tool/default-CMakeLists.txt"/>
......
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