9e4ff8c196
- Use latest Muen version
- Sync VirtualBox Muen subject state
- Drop unneccessary subject IP patch
- Adapt Muen RUN_OPTs
- Update documentation
Note: the GPL 2017 toolchain is now required and as the debug output
format has changed the mulog-subject.py script must be updated on
autopilot instances.
58 lines
1.3 KiB
Plaintext
58 lines
1.3 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 hardware/lenovo-t430s.xml
|
|
|
|
#
|
|
# Muen platform configuration
|
|
#
|
|
# The specified file must be relative to the Muen policy directory or an
|
|
# absolute path.
|
|
#
|
|
RUN_OPT += --image-muen-platform 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 'libdebuglog libmudm libmutime libxhcidbg dbgserver sm 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
|
|
|