From cafda66dd611b5a2883bce4fd7bc2a34d5fad221 Mon Sep 17 00:00:00 2001
From: Anna Lyons <anna@gh.st>
Date: Tue, 30 Jul 2019 10:23:17 +1000
Subject: [PATCH] imx8m: add NUM_PPI
This allows SMP support for the imx8m.
---
src/plat/imx8m-evk/config.cmake | 1 +
1 file changed, 1 insertion(+)
diff --git a/src/plat/imx8m-evk/config.cmake b/src/plat/imx8m-evk/config.cmake
index f954dba64..33f9a38c4 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()
--
GitLab