1## SPDX-License-Identifier: GPL-2.0-only 2 3config BOARD_EMULATION_SPIKE_RISCV 4 bool "SPIKE riscv" 5