diff --git a/arch/arm/src/stm32f7/Kconfig b/arch/arm/src/stm32f7/Kconfig
index 34039b51b5..817e4f4b02 100644
--- a/arch/arm/src/stm32f7/Kconfig
+++ b/arch/arm/src/stm32f7/Kconfig
@@ -37,10 +37,22 @@ endchoice # STM32 F7 Chip Selection
 config STM32F7_STM32F74XX
 	bool
 	default n
+	select ARCH_HAVE_FPU
+	select ARCH_HAVE_DPFPU # REVISIT
+	select ARMV7M_HAVE_ICACHE
+	select ARMV7M_HAVE_DCACHE
+	select ARMV7M_HAVE_ITCM
+	select ARMV7M_HAVE_DTCM
 
 config STM32F7_STM32F75XX
 	bool
 	default n
+	select ARCH_HAVE_FPU
+	select ARCH_HAVE_DPFPU # REVISIT
+	select ARMV7M_HAVE_ICACHE
+	select ARMV7M_HAVE_DCACHE
+	select ARMV7M_HAVE_ITCM
+	select ARMV7M_HAVE_DTCM
 
 choice
 	prompt "Embedded FLASH size"
diff --git a/arch/arm/src/stm32f7/stm32_serial.c b/arch/arm/src/stm32f7/stm32_serial.c
index 6d2bb55eea..9f8e3560ca 100644
--- a/arch/arm/src/stm32f7/stm32_serial.c
+++ b/arch/arm/src/stm32f7/stm32_serial.c
@@ -59,6 +59,7 @@
 
 #include <arch/serial.h>
 
+#include "cache.h"
 #include "up_arch.h"
 #include "up_internal.h"
 
diff --git a/arch/arm/src/stm32f7/stm32_start.c b/arch/arm/src/stm32f7/stm32_start.c
index 2ed2c7e42d..5d9ecc9b09 100644
--- a/arch/arm/src/stm32f7/stm32_start.c
+++ b/arch/arm/src/stm32f7/stm32_start.c
@@ -224,9 +224,6 @@ static inline void stm32_tcmenable(void)
   ARM_DSB();
   ARM_ISB();
 
-  /* Assure that GPNVM 7-8 settings are as expected */
-#warning Missing logic
-
   /* Enabled/disabled ITCM */
 
 #ifdef CONFIG_ARMV7M_ITCM