# Copyright (c) 2023 Efinix Inc.
# SPDX-License-Identifier: Apache-2.0

choice
	prompt "Efinix SoC selection"
	depends on SOC_SERIES_EFINIX_SAPPHIRE

config SOC_RISCV32_EFINIX_SAPPHIRE
	bool "Efinix Sapphire VexRiscv system implementation"
	select ATOMIC_OPERATIONS_BUILTIN
	select INCLUDE_RESET_VECTOR
	select RISCV_ISA_RV32I
	select RISCV_ISA_EXT_M
	select RISCV_ISA_EXT_A
	select RISCV_ISA_EXT_ZICSR
	select RISCV_ISA_EXT_ZIFENCEI

endchoice