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? Groeten Geert Stappers -- Leven en laten leven _______________________________________________ ipxe-devel mailing list ipxe-devel@lists.ipxe.org https://lists.ipxe.org/mailman/listinfo.cgi/ipxe-devel
