[ipxe-devel] suggestion for arch-number

[Michael Brown]

On Wednesday 06 Jul 2011 16:27:35 Oliver Rath wrote:
> what about <original number of 32-bit-arch>+64 = Number of arch in 64 Bit?
> 
> I.e. x86pc = 0 -> x86_64pc = 64 ?

We can't just unilaterally choose new numbers for that field; it needs to be 
something generally agreed upon.

hpa: is there any standard you know of for indicating an x86-64 BIOS system 
via DHCP options?

Michael