[ipxe-devel] IPXE compilation for arm64 & wiki
mcb30 at ipxe.org
Mon Apr 24 10:26:29 UTC 2017
On 23/04/17 20:27, Geert Stappers 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's your wiki username? Due to far too much spam, users now have to
be manually approved before being able to edit.
Also: the core documentation pages (e.g. http://ipxe.org/download) are
deliberately kept as simple as possible. Building ARM64 binaries is
(for now) a relatively obscure special case, and I think it's probably
best on balance not to clutter up the main pages with information that
will be irrelevant to most users.
More information about the ipxe-devel