(work in progress)

Why did we choose AMD64 ?

AMD64 designates the 64-bit evolution of the Intel 32-bit x86 architecture. AMD completely switched to 64 bit quite before Intel. And amd64.s is the name of the x86-64bit architecture specific file in OCaml's source code.