diff --git a/boards/stm32mp157c-dk2/Makefile.features b/boards/stm32mp157c-dk2/Makefile.features
index 8849551dd9..9a97fe19ec 100644
--- a/boards/stm32mp157c-dk2/Makefile.features
+++ b/boards/stm32mp157c-dk2/Makefile.features
@@ -5,3 +5,9 @@ CPU_MODEL = stm32mp157cac
 FEATURES_PROVIDED += periph_gpio
 FEATURES_PROVIDED += periph_timer
 FEATURES_PROVIDED += periph_uart
+
+# This configuration enables modules that are only available when using Kconfig
+# module modelling
+ifeq (1, $(TEST_KCONFIG))
+  KCONFIG_BOARD_CONFIG += $(BOARDDIR)/$(BOARD).config
+endif
diff --git a/boards/stm32mp157c-dk2/stm32mp157c-dk2.config b/boards/stm32mp157c-dk2/stm32mp157c-dk2.config
new file mode 100644
index 0000000000..028e7039d3
--- /dev/null
+++ b/boards/stm32mp157c-dk2/stm32mp157c-dk2.config
@@ -0,0 +1 @@
+CONFIG_MODULE_MPU_STACK_GUARD=y