arm64: dts: st: OP-TEE async notif on PPI 15 for stm32mp25

Define GIC PPI 15 (aka GIC interrupt line 31) for OP-TEE asynchronous
notification.

Signed-off-by: Etienne Carriere <etienne.carriere@foss.st.com>
Signed-off-by: Pascal Paillet <p.paillet@foss.st.com>
Signed-off-by: Alexandre Torgue <alexandre.torgue@foss.st.com>
This commit is contained in:
Etienne Carriere 2024-05-21 10:01:31 +02:00 • committed by Alexandre Torgue
commit 4fbf92d51c
2 changed files with 7 additions and 1 deletions