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

master.xml: Add lwIP remote 

This commit adds an entry to the manifest which tells 'repo' to also
pull in the latest stable sources for the lwIP networking library.

Change-Id: I16d4c2328ce862d209e9f1bb68e91691bbf4845f
This commit is contained in:
Damon Lee 2020-07-06 13:06:06 +10:00 committed by Damon Lee
parent 30a4d425ac
commit 66be07d0c5
1 changed files with 2 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
master.xml
View File

@ -13,6 +13,7 @@
<manifest>
<remote name="seL4" fetch="../seL4"/>
<remote name="SEL4PROJ" fetch="../SEL4PROJ"/>
<remote fetch="https://git.savannah.gnu.org/git/" name="lwip"/>
<remote fetch="https://github.com/tass-belgium" name="picotcp"/>
<remote fetch="https://github.com/NICTA" name="nicta"/>
<!-- default revision for each project, and name of the remote -->
@ -33,6 +34,7 @@
<project remote="SEL4PROJ" name="sel4runtime" path="projects/sel4runtime"/>
<project name="musllibc.git" path="projects/musllibc" revision="sel4"/>
<project name="picotcp.git" path="projects/picotcp" remote="picotcp" revision="refs/tags/v1.7.0"/>
<project name="lwip.git" path="projects/lwip" remote="lwip" revision="refs/tags/STABLE-2_1_2_RELEASE"/>
<project remote="SEL4PROJ" name="rumprun.git" path="tools/rumprun"/>
<project remote="SEL4PROJ" name="global-components.git" path="projects/global-components"/>
<project name="camkes.git" path="projects/camkes">