diff --git a/boards/arm/mps2_an521/mps2_an521_defconfig b/boards/arm/mps2_an521/mps2_an521_defconfig
index 852a44a4e94..2461c5a84a6 100644
--- a/boards/arm/mps2_an521/mps2_an521_defconfig
+++ b/boards/arm/mps2_an521/mps2_an521_defconfig
@@ -29,4 +29,7 @@ CONFIG_UART_CMSDK_APB=y
 # Watchdog
 CONFIG_WATCHDOG=y
 
+# Build a Secure firmware image
+CONFIG_TRUSTED_EXECUTION_SECURE=y
+
 CONFIG_I2C=y
diff --git a/soc/arm/arm/mps2/soc.h b/soc/arm/arm/mps2/soc.h
index daaabd7da3c..14b8d95756a 100644
--- a/soc/arm/arm/mps2/soc.h
+++ b/soc/arm/arm/mps2/soc.h
@@ -16,6 +16,7 @@
 #endif
 
 #include <soc_devices.h>
+#include <generated_dts_board.h>
 
 extern void wakeup_cpu1(void);