Hi Rich, as already mentioned the "Exec format error" points to that binary not having a proper EFI stub which is needed to chain in UEFI mode.
I figured that you can build a Xen EFI binary following this: https://wiki.xenproject.org/wiki/Xen_EFI#Compiling_under_x86 On debian I had to install several packages beside the usual compiler chain stuff to be able to make configure happy: bin86 bcc python-dev acpica-tools libglib2.0-dev libpixman-1-dev libyajl-dev git clone git://xenbits.xen.org/xen.git cd xen ./configure && make build-xen Should will give you an UEFI PE32+ executable in xen/xen.efi in just a couple of seconds. Regards, Sebastian _______________________________________________ ipxe-devel mailing list [email protected] https://lists.ipxe.org/mailman/listinfo.cgi/ipxe-devel

