secc
/
seL4-rumprun-demoapps
mirror of https://github.com/seL4/rumprun-sel4-demoapps.git
1
0
Fork 0
Code Issues Packages Projects Releases Wiki Activity

Point rumprun repos and sel4runtime to seL4 remote 

These repos were moved over to the seL4 organization on GitHub and for
the sake of the compatibility with the release tools, we also point
these repos to the seL4 remote.

Signed-off-by: Damon Lee <Damon.Lee@data61.csiro.au>
This commit is contained in:
Damon Lee 2021-06-15 12:33:50 +10:00 committed by Damon Lee
parent a696ba2ca3
commit e3381b8419
1 changed files with 4 additions and 4 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

8
master.xml
View File

@ -37,16 +37,16 @@
<project name="musllibc" path="projects/musllibc" revision="sel4"/>
<project name="sel4runtime.git" path="projects/sel4runtime" remote="seL4-projects"/>
<project name="sel4runtime.git" path="projects/sel4runtime"/>
<project name="rumprun-sel4-demoapps" remote="seL4-projects" path="projects/rumprun-sel4-demoapps">
<project name="rumprun-sel4-demoapps" path="projects/rumprun-sel4-demoapps">
<linkfile src="README.md" dest="README.md"/>
<linkfile src="settings.cmake" dest="settings.cmake"/>
</project>
<project name="rumprun" remote="seL4-projects" path="projects/rumprun"/>
<project name="rumprun" path="projects/rumprun"/>
<project name="rumprun-packages" remote="seL4-projects" path="projects/rumprun-packages"/>
<project name="rumprun-packages" path="projects/rumprun-packages"/>
<project name="leveldb" remote="seL4-projects" revision="sel4" path="projects/leveldb"/>