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