mirror of
https://github.com/genodelabs/genode.git
synced 2024-12-19 05:37:54 +00:00
10 lines
221 B
Plaintext
10 lines
221 B
Plaintext
# kernel to use
|
|
KERNEL ?= hw
|
|
|
|
# board to use
|
|
BOARD ?= spike
|
|
|
|
# local variable for run-tool arguments that depend on the used board
|
|
BOARD_RUN_OPT(spike) = --include image/bbl --include power_on/spike --include log/spike
|
|
|