config BOARD_EMULATION_SPIKE_RISCV
	bool "SPIKE riscv"