[ipxe-devel] IPXE compilation for arm64 & wiki
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?
Leven en laten leven
More information about the ipxe-devel