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

drop Cogent support 

The project is no longer actively developed on top of seL4.

Signed-off-by: Gerwin Klein <gerwin.klein@proofcraft.systems>
This commit is contained in:
Gerwin Klein 2023-05-26 17:01:21 +10:00 committed by Gerwin Klein
parent 59b7247317
commit fb50094b7e
2 changed files with 0 additions and 4 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
default.xml
View File

@ -6,7 +6,6 @@
<manifest>
<remote name="SEL4PROJ" fetch="../SEL4PROJ"/>
<remote name="lwip" fetch="https://git.savannah.gnu.org/git/"/>
<remote name="nicta" fetch="https://github.com/NICTA"/>
<remote name="opensbi" fetch="https://github.com/riscv"/>
<remote name="picotcp" fetch="https://github.com/tass-belgium"/>
<remote name="seL4" fetch="../seL4"/>
@ -21,7 +20,6 @@
<linkfile src="easy-settings.cmake" dest="easy-settings.cmake"/>
</project>
<project name="capdl.git" path="projects/capdl" revision="3fa3a1b5b57c67175d109e2fe15a42aa641ee601" upstream="master" dest-branch="master"/>
<project name="cogent" path="tools/cogent" remote="nicta" revision="a1464313bbd1bbfaa5c4e58ab14f669c6d2436a2" upstream="master" dest-branch="master"/>
<project name="global-components.git" path="projects/global-components" revision="25dee8dac7a730e8e8befb273623a5b5b7d080df" upstream="master" dest-branch="master"/>
<project name="lwip.git" path="projects/lwip" remote="lwip" revision="159e31b689577dbf69cf0683bbaffbd71fa5ee10" upstream="refs/tags/STABLE-2_1_2_RELEASE" dest-branch="refs/tags/STABLE-2_1_2_RELEASE"/>
<project name="musllibc.git" path="projects/musllibc" revision="3d6b939e8f05cb1d2a1a8c8166609bf2e652e975" upstream="sel4" dest-branch="sel4"/>

2
master.xml
View File

@ -9,7 +9,6 @@
<remote fetch="https://git.savannah.gnu.org/git/" name="lwip"/>
<remote name="opensbi" fetch="https://github.com/riscv"/>
<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 -->
<default revision="master" remote="seL4"/>
<!-- list of 'projects' (i.e repositories), path is relative to the path in remote above -->
@ -37,6 +36,5 @@
<project name="seL4_projects_libs.git" path="projects/seL4_projects_libs"/>
<project name="projects_libs.git" path="projects/projects_libs"/>
<project name="cakeml_libs.git" path="projects/cakeml_libs"/>
<project remote="nicta" name="cogent" path="tools/cogent" revision="master"/>
<project name="opensbi" remote="opensbi" revision="refs/tags/v0.9" path="tools/opensbi"/>
</manifest>