[gPXE] 64bit EFI support

[Joshua Oreman]

On Tue, Nov 24, 2009 at 2:37 PM, Don Lee <samora at gmail.com> wrote:
> Does gPXE support building a 64bit UNDI EFI driver?

You can build a 64-bit EFI driver (make bin-amd64-efi/gpxe.efi), but
you can't use low-level features like UNDI, because EFI generally
doesn't mix well with real-mode code. For the same reason, an EFI gPXE
can only load script and EFI images - you need to use elilo.efi or
similar if you want to ultimately get a Linux kernel loaded.

There are probably ways around this, but they haven't been implemented yet.

-- Josh