[STM32MP135F-DK] STPMIC1 IRQ in OP-TEE Can I use a non-WKUP GPIO?
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 ...