On Mon, Sep 01, 2014 at 01:27:17PM +0100, Linus Walleij wrote: > On Mon, Sep 1, 2014 at 2:17 PM, Mark Rutland <mark.rutland@xxxxxxx> wrote: > > On Mon, Sep 01, 2014 at 12:52:49PM +0100, Linus Walleij wrote: > > >> Should use the string "arm,arm1176jzf-devchip-gic"? > > > > That sounds fine to me. > > > > The document you've linked to says the GIC is derived from the MPCore > > GIC, so I'd place "arm,arm11mp-gic" as a fallback entry in the > > compatible list. Until we need to distinguish the two the driver > > shouldn't need to be updated. > > Well the driver doesn't have a IRQCHIP_DECLARE() for arm11mp-gic > either so I'll have to add that instead. Sorry, I's assumed that because it was documented the driver already supported it. I should know better ;) let's add an IRQCHIP_DECLARE for both "arm,arm1176jzf-devchip-gic" and "arm,arm11mp-gic" (given it was already documented), so as to make things less painful. Thanks, Mark. -- 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