diff --git a/arch/arm/core/aarch32/Kconfig.vfp b/arch/arm/core/aarch32/Kconfig.vfp
index 69b6c3df82d..71c94b71ff1 100644
--- a/arch/arm/core/aarch32/Kconfig.vfp
+++ b/arch/arm/core/aarch32/Kconfig.vfp
@@ -10,6 +10,8 @@
 config CPU_HAS_VFP
 	bool
 	select CPU_HAS_FPU
+	imply FPU
+	imply FPU_SHARING
 	help
 	  This option signifies the support for a Vectored Floating-Point (VFP)
 	  coprocessor.
diff --git a/arch/arm/core/aarch32/cortex_a_r/Kconfig b/arch/arm/core/aarch32/cortex_a_r/Kconfig
index 418aa9a07ee..10bf721a870 100644
--- a/arch/arm/core/aarch32/cortex_a_r/Kconfig
+++ b/arch/arm/core/aarch32/cortex_a_r/Kconfig
@@ -99,6 +99,7 @@ config CPU_CORTEX_R52
 	select AARCH32_ARMV8_R
 	select CPU_HAS_ICACHE
 	select CPU_HAS_DCACHE
+	select VFP_SP_D16
 	help
 	  This option signifies the use of a Cortex-R52 CPU
 
diff --git a/soc/arm/arm/fvp_aemv8r_aarch32/Kconfig.soc b/soc/arm/arm/fvp_aemv8r_aarch32/Kconfig.soc
index 53f5f3a0bac..a7f2131e065 100644
--- a/soc/arm/arm/fvp_aemv8r_aarch32/Kconfig.soc
+++ b/soc/arm/arm/fvp_aemv8r_aarch32/Kconfig.soc
@@ -10,6 +10,8 @@ config SOC_FVP_AEMV8R_AARCH32
 	select CPU_CORTEX_R52
 	select CPU_HAS_ARM_MPU
 	select CPU_HAS_MPU
+	select VFP_DP_D32_FP16_FMAC
+	select GIC_V3
 	select GIC_SINGLE_SECURITY_STATE
 	select PLATFORM_SPECIFIC_INIT