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

Updating default.xml

Change-Id: If0e434f624a9244b41c2e40d6e2180eef5bd05fa
上级 c7ebd31f
......@@ -20,7 +20,7 @@
<project name="riscv-pk" path="tools/riscv-pk" remote="sel4proj" revision="db937e995b09d343fb7146c447b0780ab1dca66b" upstream="fix-32bit"/>
<project name="seL4.git" path="kernel" revision="b203026382cad262d1922cd64c84459621fbf410" upstream="master"/>
<project name="seL4_libs.git" path="projects/seL4_libs" revision="642179e0f3ae8491003a0f11fbb181789ffb5063" upstream="master"/>
<project name="seL4_tools.git" path="tools/seL4" revision="e5ad27015cfe30c68fbac35323e3c0547fe77395" upstream="master">
<project name="seL4_tools.git" path="tools/seL4" revision="436de4223bcabf244dfc272e3335e397fce75621" upstream="master">
<linkfile dest="CMakeLists.txt" src="cmake-tool/default-CMakeLists.txt"/>
<linkfile dest="init-build.sh" src="cmake-tool/init-build.sh"/>
</project>
......
支持 Markdown
0% .
You are about to add 0 people to the discussion. Proceed with caution.
先完成此消息的编辑!
想要评论请 注册