# Copyright (c) 2025 Bootlin
# SPDX-License-Identifier: Apache-2.0

config SOC_SERIES_QINGKE_V4F
	select RISCV_ISA_RV32I
	select RISCV_ISA_EXT_M
	select RISCV_ISA_EXT_A
	select RISCV_ISA_EXT_C
	select RISCV_ISA_EXT_F
	select RISCV_ISA_EXT_ZICSR
	select RISCV_ISA_EXT_ZIFENCEI
