[STM32MP135F-DK] STPMIC1 IRQ in OP-TEE Can I use a non-WKUP GPIO?

[AVazquez]

Hello,

I'm working with the STM32MP135F-DK kit and I'm trying to understand the correct way to configure interrupt lines (IRQs) for external devices,  specifically for the STPMIC1 in OP-TEE.

I have been reading the official documentation and I'm a bit confused about whether it is mandatory to use the dedicated PWR Wake-up pins (WKUP1–WKUP6) for interrupt lines, or if any GPIO can be used.

---

What I observed in the reference DTS files:

Looking at the OP-TEE device tree (core/arch/arm/dts/stm32mp135f-dk.dts, tag 4.0.0-stm32mp),

I can see that all IRQ consumers use EXTI lines above 55:

- STPMIC1 interrupts-extended = <&exti 55 IRQ_TYPE_EDGE_FALLING> (WKUP1 / PF8)

---

My questions

Is it mandatory to use one of the 6 dedicated WKUP pins (EXTI 55–60) for any device IRQ managed by OP-TEE?

 

[ZAKARIA_C1]

Hello ​@AVazquez,
 

• No, it is not mandatory to use WKUP1–WKUP6 (EXTI 55–60) for all external device IRQs in OP-TEE.

• WKUP pins are special:

  • Used for wake-up from Standby when PWR is assigned to OP-TEE.

  • Must be configured in &pwr_irq with wakeup-gpios.

• Other GPIOs (EXTI 0–54):

  • Can be used as normal interrupt sources.

  • Set up via stm32-irq-notifier and forwarded to Linux via OP-TEE notifications.

• For STPMIC1 on STM32MP135F-DK, using WKUP1 is chosen because the PMIC manages power and wake-up, not because it's mandatory for all devices.

Best Regards,
Zakaria