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

Remove reference to obsolete repo 

The CAmkES Arm VM is now part of the camkes-vm repository.

Change-Id: I76cba64e78e7db548fde28f7322f098ec2d19d83
Signed-off-by: Gerwin Klein <gerwin.klein@proofcraft.systems>
This commit is contained in:
Gerwin Klein 2022-11-14 17:19:43 +11:00 committed by Gerwin Klein
parent 4d974cfcb1
commit 0bfed48b1b
1 changed files with 2 additions and 3 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

5
master.xml
View File

@ -41,15 +41,14 @@
<project name="global-components.git" path="projects/global-components"/>
<project name="camkes-arm-vm.git" path="projects/camkes-arm-vm"/>
<project name="sel4webserver.git" path="projects/webserver">
<linkfile dest="easy-settings.cmake" src="easy-settings.cmake"/>
</project>
<project name="camkes-vm.git" path="projects/camkes-vm"/>
<!-- This is to use CMake scripts from this project. Currently, no camkes components
from here are being used. -->
<project name="camkes-vm.git" path="projects/camkes-vm"/>
<project name="camkes-vm-images.git" path="projects/camkes-vm-images"/>
<project name="camkes-vm-linux.git" path="projects/camkes-vm-linux"/>
</manifest>