[Adding Catalin to the To line] On Fri, Oct 30, 2015 at 01:17:24PM +0100, Ard Biesheuvel wrote: > On 27 October 2015 at 23:44, Jeremy Linton <jeremy.linton@xxxxxxx> wrote: > > On 10/26/2015 09:20 PM, Ard Biesheuvel wrote: > >> > >> Thanks for the report. The following patch should fix it > > > > > > Ard, > > > > Thanks, it does fix the build problem... > > > > Now to get the darn thing to boot (not related to this AFAIK). > > > > Catalin, > > Would you like me to resend this as a separate patch? Ard's referring to the patch in a prior reply [1]. Mark. [1] http://lists.infradead.org/pipermail/linux-arm-kernel/2015-October/381074.html -- To unsubscribe from this list: send the line "unsubscribe linux-efi" in the body of a message to majordomo@xxxxxxxxxxxxxxx More majordomo info at http://vger.kernel.org/majordomo-info.html