mirror of
https://github.com/genodelabs/genode.git
synced 2024-12-23 15:32:25 +00:00
253097314c
This patch makes the benefit of the recently introduced unified Genode ABI available to developers by enabling the use of multiple kernels from within a single build directory. The create_builddir tool has gained a new set of kernel-agnostic platform arguments such as x86_32, or panda. Most build targets within directories are in principle compatible with all kernels that support the selected hardware platform. To execute a scenario via the run tool, one has to select the kernel to use by setting the 'KERNEL' argument in the build configuration (etc/build.conf). Alternatively, the 'KERNEL' can be specified as command-line argument of the Genode build system, e.g.: make run/log KERNEL=nova This allows us to easily switch from one kernel to another without rebuilding any Genode component except for the very few kernel-specific ones. The new version of the 'create_builddir' tool is still compatible with the old version. The old kernel-specific build directories can still be created. However, those variants will eventually be removed. Note that the commit removes the 'ports-foc' repository from the generated 'build.conf' files. As this is only meaningful for 'foc', I did not want to include it in the list of regular repositories (as visible in a 'x86_32' build directory). Hence, the repository must now be manually added in order to use L4Linux. Issue #2190
50 lines
1.1 KiB
Plaintext
50 lines
1.1 KiB
Plaintext
|
|
##
|
|
## Kernel-specific run tool configuration
|
|
##
|
|
|
|
RUN_OPT = --include boot_dir/hw --include image/muen
|
|
|
|
#
|
|
# Muen hardware configuration
|
|
#
|
|
# The specified file must be relative to the Muen policy directory or an
|
|
# absolute path.
|
|
#
|
|
RUN_OPT += --image-muen-hardware platform/lenovo-t430s.xml
|
|
|
|
#
|
|
# Directory, where the GNAT toolchain is installed
|
|
#
|
|
RUN_OPT += --image-muen-gnat-path /opt/gnat
|
|
|
|
#
|
|
# Directory, where the SPARK toolchain is installed
|
|
#
|
|
RUN_OPT += --image-muen-spark-path /opt/spark
|
|
|
|
#
|
|
# Muen system policy
|
|
#
|
|
# The specified file must be relative to the Muen policy directory or an
|
|
# absolute path.
|
|
#
|
|
RUN_OPT += --image-muen-system xml/genode-base_hw.xml
|
|
|
|
#
|
|
# Muen system components
|
|
#
|
|
# Available components are located in the Muen project directory 'components/'.
|
|
#
|
|
RUN_OPT += --image-muen-components 'dbgserver sm tau0 time'
|
|
|
|
#
|
|
# External Muen build
|
|
#
|
|
# Specifies if the Muen kernel should be built automatically.
|
|
# If the Muen system is built and integrated externally, i.e. outside
|
|
# of the Genode build system, set this parameter to 1.
|
|
#
|
|
RUN_OPT += --image-muen-external-build 0
|
|
|