Hi Michael, what about <original number of 32-bit-arch>+64 = Number of arch in 64 Bit?
I.e. x86pc = 0 -> x86_64pc = 64 ? Only my fifty cent .. Hth, Oliver _______________________________________________ ipxe-devel mailing list [email protected] https://lists.ipxe.org/mailman/listinfo/ipxe-devel

