On Fri, Nov 9, 2018 at 1:51 AM Gary E. Miller <
address@hidden> wrote:
>
> Acording to gcc it should be amd64. See "man gcc".
>
> Gentoo also uses amd64.
>
> But the Linux kernel agrees with you:
>
> # uname -a
> Linux
blondie.rellim.com 4.19.0-gentoo #1 SMP Wed Oct 24 10:47:27 PDT 2018 x86_64 Intel(R) Core(TM) i7-6700HQ CPU @ 2.60GHz GenuineIntel GNU/Linux
>
> I think amd64 is more common. Maybe mention both x86_64 and amd64.
Linux kernel actually calls x86_64 , not x86-64.
AMD created this, they called it x86-64.
All the techies started calling it x86_64 (because in 2001, we used underscores to show how cool we were)
Ubuntu, Gentoo, and some (?) BSD systems use amd64
Intel has called it iA-32e (for extension), although the technical documentation calls it EM64T.
Marketing material I have seen just says x86 and x64.
ARM's 64bit architecture had a similar story in 2012:
"So the kernel developers did what one would expect: they started complaining about the name given to the architecture. That name ("AArch64") strikes many as simultaneously redundant (of course it is an architecture) and uninformative (what does "A" stand for?). Many would prefer either ARMv8 (which is the actual hardware architecture name—"AArch64" is ARMv8's 64-bit operating mode) or arm64."
https://lwn.net/Articles/506148/Sent in a revised patch, BTW.