Re: [PATCH v2 2/2] irqchip: Add a driver for the Microsemi Ocelot controller

2018-03-22 Thread Marc Zyngier
On Thu, 22 Mar 2018 13:55:42 +, Alexandre Belloni wrote: Hi Alexandre, > > The Microsemi Ocelot SoC has a pretty simple IRQ controller in its ICPU > block. Add a driver for it. > > Signed-off-by: Alexandre Belloni > --- > changes since v1: > - removed license in favor of SPDX tag > - rew

[PATCH v2 2/2] irqchip: Add a driver for the Microsemi Ocelot controller

2018-03-22 Thread Alexandre Belloni
The Microsemi Ocelot SoC has a pretty simple IRQ controller in its ICPU block. Add a driver for it. Signed-off-by: Alexandre Belloni --- changes since v1: - removed license in favor of SPDX tag - reworked style as suggested by Thomas drivers/irqchip/Kconfig | 5 ++ drivers/irqchip