On Wed, Oct 08, 2014 at 10:52:09AM +0100, Leif Lindholm wrote: > On 7 October 2014 21:07, Geoff Levand <geoff at infradead.org> wrote: > > You need to use a UEFI kernel loader. > > No such thing exists. > The "built-in Linux loader" is a u-boot emulator (try it, it will work > with a uImage on v7) added for early development purposes and > unfortunately released in the wild. > It will very shortly disappear from Linaro UEFI builds. To further Leif's point, the "built-in Linux loader" is not in the UEFI spec, and is therefore not a portion of UEFI. It is a crutch, and it should not be relied upon as anything more than an aid during bringup. Mark.