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. Yours, Linus Walleij -- 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
