> A question on terminology, I come from bsd world so prefer i386, amd64, ia64(the itanium) whereas the linux side appears to prefer x86 x86-64 Nothing wrong with it(it describes the architecture fine) but I assume that x86-64 is intel face saving propaganda.

There exist two different (and slightly incompatible) implementations of 64-bit x86, which the respective CPU vendors call AMD64 and Intel 64 (previous names of the latter: EM64T and IA-32e).

So, what Intel implements is not AMD64, but something slightly different.

Concerning the small incompatibilities between AMD64 and Intel 64, see for example

> https://stackoverflow.com/questions/29833938/what-is-the-com...