[ipxe-devel] IPXE compilation for arm64 & wiki

Geert Stappers stappers at stappers.nl
Mon Apr 24 17:49:33 UTC 2017

On Mon, Apr 24, 2017 at 11:26:29AM +0100, Michael Brown wrote:
> 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.

What would a proper place for documenting building?
What would a proper place for documenting building another architecture?

Indeed, none of them would expected to be "download" ...

Geert Stappers
Leven en laten leven

More information about the ipxe-devel mailing list