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

Update master.xml for rumprun apps 

Change-Id: Ica1eff9eb38997be3113445b4fb4f779176796eb
This commit is contained in:
Kent McLeod 2017-07-04 12:17:45 +10:00
parent e759481e7f
commit 04d4f5931a
1 changed files with 8 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

8
master.xml
View File

@ -62,6 +62,7 @@
<linkfile src="libsel4simple" dest="libs/libsel4simple"/>
<linkfile src="libsel4simple-default" dest="libs/libsel4simple-default"/>
<linkfile src="libsel4bench" dest="libs/libsel4bench"/>
<linkfile src="libsel4allocman" dest="libs/libsel4allocman"/>
</project>
<project name="util_libs.git" path="projects/util_libs">
@ -75,6 +76,10 @@
<project remote="SEL4PROJ" name="global-components.git" path="components"/>
<project remote="SEL4PROJ" name="rumprun.git" path="libs/rumprun"/>
<project remote="SEL4PROJ" name="global-components.git" path="projects/global-components"/>
<project name="camkes.git" path="projects/camkes">
<!-- symlinks to make the project structure fit the build system -->
<linkfile src="Kconfig" dest="Kconfig"/>
@ -137,6 +142,9 @@
<linkfile src="apps/alignment" dest="apps/alignment"/>
<linkfile src="apps/structs" dest="apps/structs"/>
<linkfile src="apps/attributes" dest="apps/attributes"/>
<linkfile src="apps/rumprun_hello" dest="apps/rumprun_hello"/>
<linkfile src="apps/rumprun_pthreads" dest="apps/rumprun_pthreads"/>
<linkfile src="apps/rumprun_ethernet" dest="apps/rumprun_ethernet"/>
</project>