On Sat, May 21, 2016 at 12:54:30PM +0100, Marc Zyngier wrote: > > - this controller is cacaded from > > + this controller is cached from > > No. The word you're looking for is "cascaded"... You are right. I don't submit a new fix. I don't care to appear in "git log". You can fix it. Bye, Andrea -- 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