[ipxe-devel] 64 bit?

Michael Brown mcb30 at ipxe.org
Thu Jan 10 19:00:24 UTC 2019

On 10/01/2019 18:57, Johannes Thoma wrote:
> I would like to sanboot images larger than 2GB via http. I already changed
> some of the size_t declarations to uint64_t but am currently stuck.
> I can boot 7.8 GB images but no 32 GB images (the capacity of the
> block device is truncated).
> Before continuing I would like to know if there is a way to compile ipxe
> in 64 bit mode ( -m64 ), so that size_t is 64 bit and if that would work.

Yes, there are 64-bit iPXE builds available for both UEFI and BIOS, e.g.:

   make bin-x86_64-efi/ipxe.efi
   make bin-x86_64-pcbios/ipxe.pxe


More information about the ipxe-devel mailing list