genode/tool/builddir/build.conf/run_arm_v7

# local variable for run-tool arguments used for running scenarios in Qemu
QEMU_RUN_OPT := --include power_on/qemu  --include log/qemu

# kernel to use (hw, foc, or sel4)
#KERNEL ?= hw

# board to use (imx53_qsb, imx53_qsb_tz, imx6q_sabrelite, imx7d_sabre,
#               nit6_solox, pbxa9, usb_armory, virt_qemu, wand_quad,
#               or zynq_qemu)
#BOARD ?= pbxa9

# local variable for run-tool arguments that depend on the used board
BOARD_RUN_OPT(pbxa9)     = $(QEMU_RUN_OPT)
BOARD_RUN_OPT(virt_qemu) = $(QEMU_RUN_OPT)

##
## Qemu arguments, effective when using the run tool's 'power_on/qemu' back end
##

# enable GDB stub
#QEMU_OPT += -s

# use time-tested graphics backend
QEMU_OPT += -display sdl

# add kernel-specific Qemu arguments
QEMU_OPT += $(QEMU_OPT(${KERNEL}))
tool: deprecate board-specific build directories * Introduces BOARD variable to determine actual board * Removes formerly deprecated kernel-specific build directories The following boards are available: arm_v6: rpi arm_v7a: arndale, imx53_qsb, imx53_qsb_tz, imx6q_sabrelite, imx7d_sabre, nit6_solox, odroid_x2, odroid_xu, panda, pbxa9, usb_armory, wand_quad, zynq_qemu x86_64: pc, linux, muen x86_32: pc, linux riscv: spike Ref #3316 2019-04-11 14:24:33 +00:00			`# local variable for run-tool arguments used for running scenarios in Qemu`
			`QEMU_RUN_OPT := --include power_on/qemu --include log/qemu`

			`# kernel to use (hw, foc, or sel4)`
			`#KERNEL ?= hw`

Retire Exynos 5 support (fix #3725) 2020-04-06 22:42:50 +00:00			`# board to use (imx53_qsb, imx53_qsb_tz, imx6q_sabrelite, imx7d_sabre,`
			`# nit6_solox, pbxa9, usb_armory, virt_qemu, wand_quad,`
			`# or zynq_qemu)`
tool: deprecate board-specific build directories * Introduces BOARD variable to determine actual board * Removes formerly deprecated kernel-specific build directories The following boards are available: arm_v6: rpi arm_v7a: arndale, imx53_qsb, imx53_qsb_tz, imx6q_sabrelite, imx7d_sabre, nit6_solox, odroid_x2, odroid_xu, panda, pbxa9, usb_armory, wand_quad, zynq_qemu x86_64: pc, linux, muen x86_32: pc, linux riscv: spike Ref #3316 2019-04-11 14:24:33 +00:00			`#BOARD ?= pbxa9`

tool: fix BOARD_RUN_OPT for arm_v8 2019-06-13 12:35:33 +00:00			`# local variable for run-tool arguments that depend on the used board`
tool: deprecate board-specific build directories * Introduces BOARD variable to determine actual board * Removes formerly deprecated kernel-specific build directories The following boards are available: arm_v6: rpi arm_v7a: arndale, imx53_qsb, imx53_qsb_tz, imx6q_sabrelite, imx7d_sabre, nit6_solox, odroid_x2, odroid_xu, panda, pbxa9, usb_armory, wand_quad, zynq_qemu x86_64: pc, linux, muen x86_32: pc, linux riscv: spike Ref #3316 2019-04-11 14:24:33 +00:00			`BOARD_RUN_OPT(pbxa9) = $(QEMU_RUN_OPT)`
hw: Add support for Qemu virt arm platforms. This patch adds support for booting base-hw kernel on qemu-arm virt machines. The arm_virt machine has 2GB of RAM, 2 Cortex A15 cores and uses GICv2 interrupt controller. The arm_64_virt machine also has 2GB of RAM, but has 4 Cortex A53 cores and uses GICv3. Both machines use PSCI to boot additional CPU cores. Fixes #3673 2019-09-14 23:10:20 +00:00			`BOARD_RUN_OPT(virt_qemu) = $(QEMU_RUN_OPT)`
tool: deprecate board-specific build directories * Introduces BOARD variable to determine actual board * Removes formerly deprecated kernel-specific build directories The following boards are available: arm_v6: rpi arm_v7a: arndale, imx53_qsb, imx53_qsb_tz, imx6q_sabrelite, imx7d_sabre, nit6_solox, odroid_x2, odroid_xu, panda, pbxa9, usb_armory, wand_quad, zynq_qemu x86_64: pc, linux, muen x86_32: pc, linux riscv: spike Ref #3316 2019-04-11 14:24:33 +00:00
			`##`
			`## Qemu arguments, effective when using the run tool's 'power_on/qemu' back end`
			`##`

			`# enable GDB stub`
			`#QEMU_OPT += -s`

			`# use time-tested graphics backend`
			`QEMU_OPT += -display sdl`

			`# add kernel-specific Qemu arguments`
			`QEMU_OPT += $(QEMU_OPT(${KERNEL}))`