Define the GIC interrupt (PPI 15) to be used on ST STM32MP15x boards
for OP-TEE async notif.
Signed-off-by: Etienne Carriere <etienne.carriere@xxxxxxxxxxx>
---
arch/arm/boot/dts/st/stm32mp157a-dk1-scmi.dts | 5 +++++
arch/arm/boot/dts/st/stm32mp157c-dk2-scmi.dts | 5 +++++
arch/arm/boot/dts/st/stm32mp157c-ed1-scmi.dts | 5 +++++
arch/arm/boot/dts/st/stm32mp157c-ev1-scmi.dts | 5 +++++
4 files changed, 20 insertions(+)
diff --git a/arch/arm/boot/dts/st/stm32mp157a-dk1-scmi.dts b/arch/arm/boot/dts/st/stm32mp157a-dk1-scmi.dts
index 306e1bc2a514..847b360f02fc 100644
--- a/arch/arm/boot/dts/st/stm32mp157a-dk1-scmi.dts
+++ b/arch/arm/boot/dts/st/stm32mp157a-dk1-scmi.dts
@@ -62,6 +62,11 @@ &m4_rproc {
reset-names = "mcu_rst", "hold_boot";