## SPDX-License-Identifier: GPL-2.0-only

config BOARD_EMULATION_SPIKE_RISCV
	bool "SPIKE riscv"