diff --git a/src/plat/imx8m-evk/config.cmake b/src/plat/imx8m-evk/config.cmake
index f954dba64d49926897989aeb14176fbc5a1a1fac..33f9a38c44bb74c9ca9711832e53cefa237cf9b2 100644
--- a/src/plat/imx8m-evk/config.cmake
+++ b/src/plat/imx8m-evk/config.cmake
@@ -41,6 +41,7 @@ if(KernelPlatformImx8mq-evk OR KernelPlatformImx8mm-evk)
         MAX_IRQ 160
         TIMER drivers/timer/arm_generic.h
         INTERRUPT_CONTROLLER arch/machine/gic_v3.h
+        NUM_PPI 32
     )
 endif()