# 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

