genode/tool/builddir/build.conf/run_x86_64

11 lines
287 B
Plaintext
Raw Normal View History

# kernel to use (nova, hw, sel4, linux, or foc)
#KERNEL ?= nova
# board to use (pc or linux)
BOARD ?= pc
2019-06-13 12:35:33 +00:00
# local variable for run-tool arguments that depend on the used board
BOARD_RUN_OPT(linux) = --include power_on/linux --include log/linux
BOARD_RUN_OPT(pc) = $(QEMU_RUN_OPT)