mirror of
https://github.com/genodelabs/genode.git
synced 2025-01-16 09:50:18 +00:00
c43267dbaa
* 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
10 lines
220 B
Plaintext
10 lines
220 B
Plaintext
# kernel to use
|
|
KERNEL ?= hw
|
|
|
|
# board to use
|
|
BOARD ?= spike
|
|
|
|
# local varible for run-tool arguments that depend on the used board
|
|
BOARD_RUN_OPT(spike) = --include image/bbl --include power_on/spike --include log/spike
|
|
|