On 04/18/2013 12:58 PM, Matthew Garrett wrote: > On Thu, 2013-04-18 at 20:55 +0100, Matt Fleming wrote: > >> If there are machines out there that would require us to write support, >> it's probably worth doing now instead of punting. But it sounds like >> there aren't any. > > I would expect that if there are any 32-bit UEFI systems that ship with > BGRT support (and Darren makes it sound like that's a possibility), > there's a realistic chance of the BGRT ending up allocated above the > highmem barrier. I can certainly ensure we sit below that barrier on the MinnowBoard. We can also speak with the Intel UEFI firmware development teams to see about making that a requirement. I don't know if we'll be successful, but Matt, Peter, and I have recently coaxed some changes of that nature in. -- Darren Hart Intel Open Source Technology Center Yocto Project - Linux Kernel -- 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