* H. Peter Anvin <h...@zytor.com> wrote:

> We have generally used i386 as opposed to x86 for that purpose. [...]

So 'i386' is really the original name that stuck.

'x86-32' sounds more appropriate to me - we should not perpetuate the i386 
name, 
as we don't run on an original i386 anymore ;-)

Here's what I think sounds pretty natural:

  CONFIG_X86_32_ABI
  CONFIG_X86_64_ABI
  CONFIG_X86_X32_ABI

- CONFIG_X86_X32_ABI and CONFIG_X86_32_ABI selects CONFIG_COMPAT.
- CONFIG_X86_32_ABI enables the 32-bit/32-bit system call ABI.
- CONFIG_X86_X32_ABI enables the extra 64-bit/32-bit system call entries.
- CONFIG_IA32_EMULATION goes away.

> [...] IA32 in MSR names is part of the MSR name and should not be taken out.

Yes, of course.

Thanks,

        Ingo
--
To unsubscribe from this list: send the line "unsubscribe linux-kernel" in
the body of a message to majord...@vger.kernel.org
More majordomo info at  http://vger.kernel.org/majordomo-info.html
Please read the FAQ at  http://www.tux.org/lkml/

Reply via email to