Hello, On Mon, 15 Feb 2016 09:59:27 +0000, Marc Zyngier wrote: > Seems like something is selecting GENERIC_MSI_IRQ_DOMAIN on a system > that doesn't implement the required bits. > > It may be that we need to implement something like > HAS_GENERIC_MSI_IRQ_DOMAIN, and make GENERIC_MSI_IRQ_DOMAIN conditional > on that. Or just whitelist the architectures that do implement this. > > Any chance you could have a closer look? I'll have a look. However, in the mean time, I will probably make this new driver depend on ARM64 so that it does not depend on other patches touching the MSI mechanism. Thanks, 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
