2019-03-29 09:40:29 +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
|
|
|
|
|
|
2021-10-18 09:41:24 +00:00
|
|
|
# board to use (rpi3, virt_qemu, ...)
|
2019-03-29 09:40:29 +00:00
|
|
|
#BOARD ?= rpi3
|
|
|
|
|
|
2019-06-13 12:35:33 +00:00
|
|
|
# local variable for run-tool arguments that depend on the used board
|
2022-08-09 11:32:38 +00:00
|
|
|
BOARD_RUN_OPT(linux) := --include power_on/linux --include log/linux
|
|
|
|
|
BOARD_RUN_OPT(rpi3) := $(QEMU_RUN_OPT)
|
|
|
|
|
BOARD_RUN_OPT(virt_qemu_arm_v8a) := $(QEMU_RUN_OPT)
|
2019-03-29 09:40:29 +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}))
|
|
|
|
|
|
