diff --git a/soc/openhwgroup/cva6/cv32a6/Kconfig b/soc/openhwgroup/cva6/cv32a6/Kconfig index b5dbe0ba387..6582c97826f 100644 --- a/soc/openhwgroup/cva6/cv32a6/Kconfig +++ b/soc/openhwgroup/cva6/cv32a6/Kconfig @@ -9,8 +9,6 @@ config SOC_CV32A6 select RISCV_HAS_PLIC select USE_SWITCH_SUPPORTED select USE_SWITCH - select CPU_HAS_FPU - select CPU_HAS_FPU_DOUBLE_PRECISION select SCHED_IPI_SUPPORTED select RISCV_ISA_RV32I select RISCV_ISA_EXT_M