[gPXE] x86_64 efi image built

[zxy__1127]

Hi all,
       I need to build a gPXE efi image to run in 64bit EFI shell.
       I can build the gPXE src,but I don't know how to build a 64bit gPXE.EFI image. Which tools I need?
       My board is a Intel Capella board, anyone can help?
 
Thanks!
 
-------------- next part --------------
An HTML attachment was scrubbed...
URL: http://etherboot.org/pipermail/gpxe/attachments/20101019/f0ede3b0/attachment.html