Simplified manifest post Kbuild archival
The manifest has been simplified to reflect the removal of the Kbuild system.
This commit is contained in:
Adam Felizzi
parent
6de7ff845a
commit
313c7ec02f
119
master.xml
119
master.xml
|
|
@ -27,137 +27,32 @@
|
|||
/>
|
||||
|
||||
<!-- list of 'projects' (i.e repositories), path is relative to the path in remote above -->
|
||||
<project name="seL4.git" path="kernel">
|
||||
<linkfile src="libsel4" dest="libs/libsel4"/>
|
||||
</project>
|
||||
<project name="seL4.git" path="kernel"/>
|
||||
|
||||
<project name="seL4_tools.git" path="tools/seL4">
|
||||
<linkfile src="common-tool" dest="tools/common"/>
|
||||
<linkfile src="elfloader-tool" dest="tools/elfloader"/>
|
||||
<linkfile src="kbuild-tool" dest="tools/kbuild"/>
|
||||
<linkfile src="cmake-tool/init-build.sh" dest="init-build.sh"/>
|
||||
<linkfile src="cmake-tool/default-CMakeLists.txt" dest="CMakeLists.txt"/>
|
||||
</project>
|
||||
|
||||
<project name="camkes-tool.git" path="projects/camkes-tool">
|
||||
<linkfile src="toplevel.mk" dest="Makefile"/>
|
||||
<linkfile src="Kbuild" dest="Kbuild"/>
|
||||
<linkfile src="libsel4camkes" dest="libs/libsel4camkes"/>
|
||||
<linkfile src="libsel4muslccamkes" dest="libs/libsel4muslccamkes"/>
|
||||
<linkfile src="docs/index.md" dest="README.md"/>
|
||||
<linkfile src="." dest="tools/camkes"/>
|
||||
</project>
|
||||
|
||||
<project name="capdl.git" path="projects/capdl">
|
||||
<linkfile src="capdl-loader-app" dest="apps/capdl-loader-experimental"/>
|
||||
<linkfile src="capDL-tool" dest="tools/capDL"/>
|
||||
<linkfile src="python-capdl-tool" dest="tools/python-capdl"/>
|
||||
</project>
|
||||
<project name="capdl.git" path="projects/capdl"/>
|
||||
|
||||
<project name="pruner.git" path="tools/pruner"/>
|
||||
|
||||
<project name="seL4_libs.git" path="projects/seL4_libs">
|
||||
<linkfile src="libsel4muslcsys" dest="libs/libsel4muslcsys"/>
|
||||
<linkfile src="libsel4platsupport" dest="libs/libsel4platsupport"/>
|
||||
<linkfile src="libsel4utils" dest="libs/libsel4utils"/>
|
||||
<linkfile src="libsel4sync" dest="libs/libsel4sync"/>
|
||||
<linkfile src="libsel4vspace" dest="libs/libsel4vspace"/>
|
||||
<linkfile src="libsel4vka" dest="libs/libsel4vka"/>
|
||||
<linkfile src="libsel4debug" dest="libs/libsel4debug"/>
|
||||
<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"/>
|
||||
<linkfile src="libsel4test" dest="libs/libsel4test"/>
|
||||
<linkfile src="libsel4serialserver" dest="libs/libsel4serialserver"/>
|
||||
</project>
|
||||
<project name="seL4_libs.git" path="projects/seL4_libs"/>
|
||||
|
||||
<project name="util_libs.git" path="projects/util_libs">
|
||||
<linkfile src="libplatsupport" dest="libs/libplatsupport"/>
|
||||
<linkfile src="libcpio" dest="libs/libcpio"/>
|
||||
<linkfile src="libelf" dest="libs/libelf"/>
|
||||
<linkfile src="libutils" dest="libs/libutils"/>
|
||||
</project>
|
||||
<project name="util_libs.git" path="projects/util_libs"/>
|
||||
|
||||
<project name="musllibc.git" path="projects/musllibc" revision="sel4">
|
||||
<linkfile src="." dest="libs/libmuslc"/>
|
||||
</project>
|
||||
<project name="musllibc.git" path="projects/musllibc" revision="sel4"/>
|
||||
|
||||
<project remote="SEL4PROJ" name="rumprun.git" path="projects/rumprun">
|
||||
<linkfile src="." dest="libs/rumprun"/>
|
||||
</project>
|
||||
<project remote="SEL4PROJ" name="rumprun.git" path="projects/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"/>
|
||||
<linkfile src="configs" dest="configs"/>
|
||||
<linkfile src="tests" dest="tests"/>
|
||||
<linkfile src="compile_all.sh" dest="compile_all.sh"/>
|
||||
<linkfile src="libs/libringbuffer" dest="libs/libringbuffer"/>
|
||||
<linkfile src="libs/libsel4bga" dest="libs/libsel4bga"/>
|
||||
<linkfile src="libs/libsel4keyboard" dest="libs/libsel4keyboard"/>
|
||||
<linkfile src="apps/adder" dest="apps/adder"/>
|
||||
<linkfile src="apps/aeroplage" dest="apps/aeroplage"/>
|
||||
<linkfile src="apps/binary-semaphore" dest="apps/binary-semaphore"/>
|
||||
<linkfile src="apps/dataport" dest="apps/dataport"/>
|
||||
<linkfile src="apps/debug-simple" dest="apps/debug-simple"/>
|
||||
<linkfile src="apps/dhcp" dest="apps/dhcp"/>
|
||||
<linkfile src="apps/dma-example" dest="apps/dma-example"/>
|
||||
<linkfile src="apps/epit" dest="apps/epit"/>
|
||||
<linkfile src="apps/event" dest="apps/event"/>
|
||||
<linkfile src="apps/exchangestring" dest="apps/exchangestring"/>
|
||||
<linkfile src="apps/filter" dest="apps/filter"/>
|
||||
<linkfile src="apps/global-imports" dest="apps/global-imports"/>
|
||||
<linkfile src="apps/hierarchical-attributes" dest="apps/hierarchical-attributes"/>
|
||||
<linkfile src="apps/hierarchical-components" dest="apps/hierarchical-components"/>
|
||||
<linkfile src="apps/keyboard" dest="apps/keyboard"/>
|
||||
<linkfile src="apps/lockserver" dest="apps/lockserver"/>
|
||||
<linkfile src="apps/multiassembly" dest="apps/multiassembly"/>
|
||||
<linkfile src="apps/multiclient" dest="apps/multiclient"/>
|
||||
<linkfile src="apps/multiplier" dest="apps/multiplier"/>
|
||||
<linkfile src="apps/mutex" dest="apps/mutex"/>
|
||||
<linkfile src="apps/reversestring" dest="apps/reversestring"/>
|
||||
<linkfile src="apps/rotate" dest="apps/rotate"/>
|
||||
<linkfile src="apps/simple" dest="apps/simple"/>
|
||||
<linkfile src="apps/simplesingleaddressspace" dest="apps/simplesingleaddressspace"/>
|
||||
<linkfile src="apps/socket" dest="apps/socket"/>
|
||||
<linkfile src="apps/swapcounter" dest="apps/swapcounter"/>
|
||||
<linkfile src="apps/terminal" dest="apps/terminal"/>
|
||||
<linkfile src="apps/testbufvariant" dest="apps/testbufvariant"/>
|
||||
<linkfile src="apps/testcamkes438" dest="apps/testcamkes438"/>
|
||||
<linkfile src="apps/testcontrolname" dest="apps/testcontrolname"/>
|
||||
<linkfile src="apps/testdataportbifurcate" dest="apps/testdataportbifurcate"/>
|
||||
<linkfile src="apps/testdataportmux" dest="apps/testdataportmux"/>
|
||||
<linkfile src="apps/testdataportmuxflat" dest="apps/testdataportmuxflat"/>
|
||||
<linkfile src="apps/testdataportptrwrap" dest="apps/testdataportptrwrap"/>
|
||||
<linkfile src="apps/testdataportrpc" dest="apps/testdataportrpc"/>
|
||||
<linkfile src="apps/testhwdataportlrgpages" dest="apps/testhwdataportlrgpages"/>
|
||||
<linkfile src="apps/testfaulthandlers" dest="apps/testfaulthandlers"/>
|
||||
<linkfile src="apps/testgrouping" dest="apps/testgrouping"/>
|
||||
<linkfile src="apps/testgroupingcontrol" dest="apps/testgroupingcontrol"/>
|
||||
<linkfile src="apps/testhardwareinterrupt" dest="apps/testhardwareinterrupt"/>
|
||||
<linkfile src="apps/testnto1mmio" dest="apps/testnto1mmio"/>
|
||||
<linkfile src="apps/testnto1overload" dest="apps/testnto1overload"/>
|
||||
<linkfile src="apps/testrefin" dest="apps/testrefin"/>
|
||||
<linkfile src="apps/testreplycapprotection" dest="apps/testreplycapprotection"/>
|
||||
<linkfile src="apps/testsel4notification" dest="apps/testsel4notification"/>
|
||||
<linkfile src="apps/testsingleaddressspaceheap" dest="apps/testsingleaddressspaceheap"/>
|
||||
<linkfile src="apps/teststringarrays" dest="apps/teststringarrays"/>
|
||||
<linkfile src="apps/testunderscorename" dest="apps/testunderscorename"/>
|
||||
<linkfile src="apps/uart" dest="apps/uart"/>
|
||||
<linkfile src="apps/pit" dest="apps/pit"/>
|
||||
<linkfile src="apps/testsyscalls" dest="apps/testsyscalls"/>
|
||||
<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"/>
|
||||
<linkfile src="apps/rumprun_rust" dest="apps/rumprun_rust"/>
|
||||
<linkfile src="apps/vgatest" dest="apps/vgatest"/>
|
||||
</project>
|
||||
<project name="camkes.git" path="projects/camkes"/>
|
||||
|
||||
|
||||
</manifest>
|
||||
|
|
|
|||
Loading…
Reference in New Issue