## SPDX-License-Identifier: GPL-2.0-only config BOARD_EMULATION_SPIKE_RISCV bool "SPIKE riscv"