diff --git a/boards/arm/stm32h7/stm32h745i-disco/configs/lvgl/defconfig b/boards/arm/stm32h7/stm32h745i-disco/configs/lvgl/defconfig
index 84967d80c97..31ac8e2a217 100644
--- a/boards/arm/stm32h7/stm32h745i-disco/configs/lvgl/defconfig
+++ b/boards/arm/stm32h7/stm32h745i-disco/configs/lvgl/defconfig
@@ -6,6 +6,7 @@
 # modifications.
 #
 # CONFIG_STANDARD_SERIAL is not set
+# CONFIG_STM32H7_CORTEXM4_ENABLED is not set
 # CONFIG_STM32H7_FB_CMAP is not set
 # CONFIG_STM32H7_LTDC_L1_CHROMAKEYEN is not set
 # CONFIG_STM32H7_LTDC_L2 is not set
@@ -16,6 +17,7 @@ CONFIG_ARCH_BOARD_STM32H745I_DISCO=y
 CONFIG_ARCH_CHIP="stm32h7"
 CONFIG_ARCH_CHIP_STM32H745XI=y
 CONFIG_ARCH_CHIP_STM32H7=y
+CONFIG_ARCH_CHIP_STM32H7_CORTEXM7=y
 CONFIG_ARCH_STACKDUMP=y
 CONFIG_ARMV7M_DCACHE=y
 CONFIG_ARMV7M_DCACHE_WRITETHROUGH=y
diff --git a/boards/arm/stm32h7/stm32h745i-disco/configs/netnsh/defconfig b/boards/arm/stm32h7/stm32h745i-disco/configs/netnsh/defconfig
index b55d51e6380..dfb2fef1f93 100644
--- a/boards/arm/stm32h7/stm32h745i-disco/configs/netnsh/defconfig
+++ b/boards/arm/stm32h7/stm32h745i-disco/configs/netnsh/defconfig
@@ -6,6 +6,7 @@
 # modifications.
 #
 # CONFIG_STANDARD_SERIAL is not set
+# CONFIG_STM32H7_CORTEXM4_ENABLED is not set
 # CONFIG_STM32H7_USE_LEGACY_PINMAP is not set
 CONFIG_ARCH="arm"
 CONFIG_ARCH_BOARD="stm32h745i-disco"
@@ -13,6 +14,7 @@ CONFIG_ARCH_BOARD_STM32H745I_DISCO=y
 CONFIG_ARCH_CHIP="stm32h7"
 CONFIG_ARCH_CHIP_STM32H745XI=y
 CONFIG_ARCH_CHIP_STM32H7=y
+CONFIG_ARCH_CHIP_STM32H7_CORTEXM7=y
 CONFIG_ARCH_STACKDUMP=y
 CONFIG_ARMV7M_DCACHE=y
 CONFIG_ARMV7M_DCACHE_WRITETHROUGH=y
diff --git a/boards/arm/stm32h7/stm32h745i-disco/configs/nsh/defconfig b/boards/arm/stm32h7/stm32h745i-disco/configs/nsh/defconfig
index e2dbad057c1..f4dcfb5ae09 100644
--- a/boards/arm/stm32h7/stm32h745i-disco/configs/nsh/defconfig
+++ b/boards/arm/stm32h7/stm32h745i-disco/configs/nsh/defconfig
@@ -8,6 +8,7 @@
 # CONFIG_NSH_DISABLE_IFCONFIG is not set
 # CONFIG_NSH_DISABLE_PS is not set
 # CONFIG_STANDARD_SERIAL is not set
+# CONFIG_STM32H7_CORTEXM4_ENABLED is not set
 # CONFIG_STM32H7_USE_LEGACY_PINMAP is not set
 CONFIG_ARCH="arm"
 CONFIG_ARCH_BOARD="stm32h745i-disco"
@@ -15,6 +16,7 @@ CONFIG_ARCH_BOARD_STM32H745I_DISCO=y
 CONFIG_ARCH_CHIP="stm32h7"
 CONFIG_ARCH_CHIP_STM32H745XI=y
 CONFIG_ARCH_CHIP_STM32H7=y
+CONFIG_ARCH_CHIP_STM32H7_CORTEXM7=y
 CONFIG_ARCH_STACKDUMP=y
 CONFIG_ARMV7M_DCACHE=y
 CONFIG_ARMV7M_DCACHE_WRITETHROUGH=y
diff --git a/boards/arm/stm32h7/stm32h745i-disco/configs/touchtest/defconfig b/boards/arm/stm32h7/stm32h745i-disco/configs/touchtest/defconfig
index 881b8b80188..fe0711782d0 100644
--- a/boards/arm/stm32h7/stm32h745i-disco/configs/touchtest/defconfig
+++ b/boards/arm/stm32h7/stm32h745i-disco/configs/touchtest/defconfig
@@ -6,6 +6,7 @@
 # modifications.
 #
 # CONFIG_STANDARD_SERIAL is not set
+# CONFIG_STM32H7_CORTEXM4_ENABLED is not set
 # CONFIG_STM32H7_USE_LEGACY_PINMAP is not set
 CONFIG_ARCH="arm"
 CONFIG_ARCH_BOARD="stm32h745i-disco"
@@ -13,6 +14,7 @@ CONFIG_ARCH_BOARD_STM32H745I_DISCO=y
 CONFIG_ARCH_CHIP="stm32h7"
 CONFIG_ARCH_CHIP_STM32H745XI=y
 CONFIG_ARCH_CHIP_STM32H7=y
+CONFIG_ARCH_CHIP_STM32H7_CORTEXM7=y
 CONFIG_ARCH_STACKDUMP=y
 CONFIG_ARMV7M_DCACHE=y
 CONFIG_ARMV7M_DCACHE_WRITETHROUGH=y
diff --git a/boards/arm/stm32h7/stm32h747i-disco/configs/nsh/defconfig b/boards/arm/stm32h7/stm32h747i-disco/configs/nsh/defconfig
index 5d470b8cf27..3dbd08dce0d 100644
--- a/boards/arm/stm32h7/stm32h747i-disco/configs/nsh/defconfig
+++ b/boards/arm/stm32h7/stm32h747i-disco/configs/nsh/defconfig
@@ -8,6 +8,7 @@
 # CONFIG_NSH_DISABLE_IFCONFIG is not set
 # CONFIG_NSH_DISABLE_PS is not set
 # CONFIG_STANDARD_SERIAL is not set
+# CONFIG_STM32H7_CORTEXM4_ENABLED is not set
 # CONFIG_STM32H7_USE_LEGACY_PINMAP is not set
 CONFIG_ARCH="arm"
 CONFIG_ARCH_BOARD="stm32h747i-disco"
@@ -15,6 +16,7 @@ CONFIG_ARCH_BOARD_STM32H747I_DISCO=y
 CONFIG_ARCH_CHIP="stm32h7"
 CONFIG_ARCH_CHIP_STM32H747XI=y
 CONFIG_ARCH_CHIP_STM32H7=y
+CONFIG_ARCH_CHIP_STM32H7_CORTEXM7=y
 CONFIG_ARCH_STACKDUMP=y
 CONFIG_ARMV7M_DCACHE=y
 CONFIG_ARMV7M_DCACHE_WRITETHROUGH=y