# Copyright (c) 2021,2025 Henrik Brix Andersen <henrik@brixandersen.dk>
# SPDX-License-Identifier: Apache-2.0

if BOARD_NEORV32_NEORV32_MINIMALBOOT

config BOARD_NEORV32
	select RISCV_ISA_RV32I

endif # BOARD_NEORV32_NEORV32_MINIMALBOOT

if BOARD_NEORV32_NEORV32_UP5KDEMO

config BOARD_NEORV32
	select RISCV_ISA_RV32I
	select RISCV_ISA_EXT_M

endif # BOARD_NEORV32_NEORV32_UP5KDEMO
