From 19d99164480a34db66941cf995bdd996cc266fc0 Mon Sep 17 00:00:00 2001
From: Alexandre Belloni <alexandre.belloni@bootlin.com>
Date: Thu, 22 Mar 2018 16:15:24 +0100
Subject: irqchip: Add a driver for the Microsemi Ocelot controller

The Microsemi Ocelot SoC has a pretty simple IRQ controller in its ICPU
block. Add a driver for it.

Signed-off-by: Alexandre Belloni <alexandre.belloni@bootlin.com>
Signed-off-by: Marc Zyngier <marc.zyngier@arm.com>
---
 drivers/irqchip/Kconfig | 5 +++++
 1 file changed, 5 insertions(+)

(limited to 'drivers/irqchip/Kconfig')

diff --git a/drivers/irqchip/Kconfig b/drivers/irqchip/Kconfig
index 030c7753d45b..60d5982d8234 100644
--- a/drivers/irqchip/Kconfig
+++ b/drivers/irqchip/Kconfig
@@ -286,6 +286,11 @@ config IRQ_MXS
 	select IRQ_DOMAIN
 	select STMP_DEVICE
 
+config MSCC_OCELOT_IRQ
+	bool
+	select IRQ_DOMAIN
+	select GENERIC_IRQ_CHIP
+
 config MVEBU_GICP
 	bool
 
-- 
cgit v1.2.3