irqchip should select this config to denote it supports generic IPI. This will aid generic arch code to know when it can use generic IPI layer. Signed-off-by: Qais Yousef <qais.yousef@xxxxxxxxxx> --- kernel/irq/Kconfig | 4 ++++ 1 file changed, 4 insertions(+) diff --git a/kernel/irq/Kconfig b/kernel/irq/Kconfig index 9a76e3beda54..cb5044c54288 100644 --- a/kernel/irq/Kconfig +++ b/kernel/irq/Kconfig @@ -60,6 +60,10 @@ config IRQ_DOMAIN_HIERARCHY bool select IRQ_DOMAIN +# Generic IRQ IPI support +config GENERIC_IRQ_IPI + bool + # Generic MSI interrupt support config GENERIC_MSI_IRQ bool -- 2.1.0
