genode/tool/builddir/build.conf/run_boot_dir
Stefan Kalkowski c43267dbaa 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-05-27 14:46:29 +02:00

9 lines
117 B
Plaintext

ifdef BOARD
RUN_OPT += ${BOARD_RUN_OPT(${BOARD})}
endif
ifdef KERNEL
RUN_OPT += --include boot_dir/$(KERNEL)
endif