jschauma@netmeister.org wrote:

> > > use 'amd64' instead of 'x86_64' to avoid confusing new users of amd64
> > > who are not aware that it used to be called x86_64.
> > 
> > AFAIK, amd64 is MACHINE and x86_64 is MACHINE_ARCH,
> > so it should be x86_64, IMHO.
> 
> You're right.  I reverted the change.  Sorry for the noise.

BTW, maybe we should also rename src/sys/compat/linux{,32}/arch/amd64
dirs to src/sys/compat/linux{,32}/arch/x86_64...
---
Izumi Tsutsui