On Thu, 11 Jun, at 04:43:58PM, Ingo Molnar wrote: > > So I pulled this into tip:x86/efi, not into tip:x86/urgent, because the commit > that broke the ia64 build is not upstream yet. Thanks Ingo, that sounds good to me. -- Matt Fleming, Intel Open Source Technology Center -- 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