提交 c4b5b8b1 编辑于 作者: Bamboo's avatar Bamboo
浏览文件

Updating default.xml

Change-Id: I7d5a4191a1d68cbe072ce7985ba624568a3f0d4f
上级 c5ecdb66
......@@ -18,7 +18,7 @@
<project name="musllibc.git" path="projects/musllibc" revision="e6cd7b1622fdec33dcb341ccbb3a78596559c6d5" upstream="sel4"/>
<project name="riscv-pk" path="tools/riscv-pk" remote="sel4proj" revision="db937e995b09d343fb7146c447b0780ab1dca66b" upstream="fix-32bit"/>
<project name="seL4.git" path="kernel" revision="43b7bca872ebe491b42bafd6c0f478bbdc01fa2d" upstream="master"/>
<project name="seL4.git" path="kernel" revision="f33035f0532029c2a3d3f79a71ac671f9aa94ac0" upstream="master"/>
<project name="seL4_libs.git" path="projects/seL4_libs" revision="8d002567af0ca425b6ce785b51e73e7d97d65df3" upstream="master"/>
<project name="seL4_tools.git" path="tools/seL4" revision="7b492f40e64ab1fdba83263070445fba2d651b34" upstream="master">
<linkfile dest="CMakeLists.txt" src="cmake-tool/default-CMakeLists.txt"/>
......
支持 Markdown
0% .
You are about to add 0 people to the discussion. Proceed with caution.
先完成此消息的编辑!
想要评论请 注册