x32: Allow x32 to be configured
authorH. J. Lu <hjl.tools@gmail.com>
Sun, 19 Feb 2012 18:40:03 +0000 (10:40 -0800)
committerH. Peter Anvin <hpa@zytor.com>
Mon, 20 Feb 2012 20:52:06 +0000 (12:52 -0800)
commit5fd92e65a68b813667bc8739f5fa463e5bfcd66d
treea80efcac66b412d0792646182dcffdf6426607ed
parenta06c9bc0647f66df0534fb887ddf6cddd35f426c
x32: Allow x32 to be configured

At this point, one should be able to build an x32 kernel.

Note that for now we depend on CONFIG_IA32_EMULATION.  Long term, x32
and IA32 should be detangled.

Signed-off-by: H. Peter Anvin <hpa@zytor.com>
arch/x86/Kconfig