Skip to content
Permalink
Browse files

Updating default.xml

Change-Id: I10349c4d09863d186c31a4fa65fda8077a45ff17
  • Loading branch information
Bamboo
Bamboo committed Feb 7, 2020
1 parent a723480 commit 9f3b46469dfe5f4abdecceb3849c8c58836ede9f
Showing with 3 additions and 3 deletions.
  1. +3 −3 default.xml
@@ -20,9 +20,9 @@
<project name="musllibc.git" path="projects/musllibc" revision="a0a3af0e3a54fb3985352b4a3160503ecc8c260c" upstream="sel4"/>
<project name="nanopb" remote="nanopb" revision="847ac296b50936a8b13d1434080cef8edeba621c" upstream="master"/>
<project name="projects_libs" path="projects/projects_libs" remote="seL4_projects" revision="728433df0a165b270171f792562fa6fa363f620d" upstream="master"/>
<project name="seL4.git" path="kernel" revision="b2086f54e121b19490a391e7d9db52739a881281" upstream="master"/>
<project name="seL4.git" path="kernel" revision="2d362cb7c8e96a64b9848df06e226f50e79a1ec9" upstream="master"/>
<project name="seL4_libs" path="projects/seL4_libs" revision="7ae68ec7f731156efb3bc52e9ff9795c50ca641f" upstream="master"/>
<project name="seL4_tools.git" path="tools/seL4" revision="8008badd8c4a9ec8ca60497030fab32981b41245" upstream="master">
<project name="seL4_tools.git" path="tools/seL4" revision="1ba36ce281315994d7d059780000513bb811e63e" upstream="master">
<linkfile dest="init-build.sh" src="cmake-tool/init-build.sh"/>
<linkfile dest="griddle" src="cmake-tool/griddle"/>
</project>
@@ -31,5 +31,5 @@
<linkfile dest="easy-settings.cmake" src="easy-settings.cmake"/>
</project>
<project name="sel4runtime.git" path="projects/sel4runtime" remote="seL4_projects" revision="7b71e82ca6802a712475d0e523e689f190303bd3" upstream="master"/>
<project name="util_libs" path="projects/util_libs" revision="9f9288ea51080e20038c5576673a27d42a7f7ce2" upstream="master"/>
<project name="util_libs" path="projects/util_libs" revision="31026b804aa8652ecf0da592cb3ce73e113d28bd" upstream="master"/>
</manifest>

0 comments on commit 9f3b464

Please sign in to comment.
You can’t perform that action at this time.