From 46b172e205e655a5fd54d3c6aed6731a4b57b5aa Mon Sep 17 00:00:00 2001
From: Julia Vassiliki <julia.vassiliki@unsw.edu.au>
Date: Thu, 17 Sep 2026 14:03:50 +1000
Subject: [PATCH] stm32mp2: enable SMC calls by default for wdt

This is necessary as otherwise we cannot actually control
or kick the watchdog timer.

Signed-off-by: Julia Vassiliki <julia.vassiliki@unsw.edu.au>
---
 settings.cmake | 6 ++++++
 1 file changed, 6 insertions(+)

diff --git a/settings.cmake b/settings.cmake
index 514885597..522a14772 100644
--- a/settings.cmake
+++ b/settings.cmake
@@ -53,6 +53,12 @@ if(NOT Sel4testAllowSettingsOverride)
     set(SIMULATION ON CACHE BOOL "" FORCE)
   endif()
 
+  if(KernelPlatformMP2)
+    # The STM32MP2 platform has a watchdog timer enabled at boot, which
+    # requires SMC calls to operate.
+    set(KernelAllowSMCCalls ON CACHE BOOL "" FORCE)
+  endif()
+
   if(SIMULATION)
     ApplyCommonSimulationSettings(${KernelSel4Arch})
   else()