Dear Boris BREZILLON, On Fri, 28 Mar 2014 18:59:03 +0100, Boris BREZILLON wrote: > +config ATMEL_AIC_IRQ > + bool > + default USE_OF > + select GENERIC_IRQ_CHIP > + select IRQ_DOMAIN > + select MULTI_IRQ_HANDLER This option should probably go in drivers/irqchip/Kconfig, no? Thomas -- Thomas Petazzoni, CTO, Free Electrons Embedded Linux, Kernel and Android engineering http://free-electrons.com -- To unsubscribe from this list: send the line "unsubscribe devicetree" in the body of a message to majordomo@xxxxxxxxxxxxxxx More majordomo info at http://vger.kernel.org/majordomo-info.html