[gPXE-devel] Fix x86_64-efi build

[Piotr Jaroszyński]

Hello,

I tried building x86_64-efi and it didn't quite work out of the box. It makes
me wonder whether it's still supported?

I tried fixing it anyway:

[PATCH 1/3] Fix 64bit compile time errors
[PATCH 2/3] [efi] Fix link order for elf2efi

Both rather trivial.

[PATCH 3/3] [efi] Fix *.efi linking

This one is hacky and it feels like there has to be a better way to fix this,
but at the very least the commit message has details about the problem :)

http://gitorious.org/gpxe-peper/gpxe-peper/commits/efi64

-- 
Best Regards
Piotr Jaroszyński