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. -- 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
