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. -- Matthew Garrett | mjg59@srcf.ucam.org {.n++%ݶw{.n+{G{ayʇڙ,jfhz_(階ݢj"mG?&~iOzv^m ?I