[ipxe-devel] IPXE compilation for arm64 & wiki

Geert Stappers stappers at stappers.nl
Sun Apr 23 19:27:34 UTC 2017

On Tue, Apr 18, 2017 at 10:06:23AM +0100, Michael Brown wrote:
> The default "make" will attempt to build the standard i386 BIOS
> targets, which won't work with the arm64 version of gcc.  You need
> to choose a suitable arm64 UEFI target, e.g.
>   make bin-arm64-efi/8086100e.efi

I want to add that to http://ipxe.org/download
I have logged in to the wiki, but I don't see an "edit" button.

What is needed to get forward?

Geert Stappers
Leven en laten leven

More information about the ipxe-devel mailing list