yann@628: # x86 specific options
yann@628: 
yann@628: config ARCH_x86
yann@1635:     select ARCH_SUPPORTS_32
yann@1635:     select ARCH_SUPPORTS_64
yann@1635:     select ARCH_DEFAULT_32
yann@1345:     select ARCH_USE_MMU
yann@631:     select ARCH_SUPPORT_ARCH
yann@631:     select ARCH_SUPPORT_CPU
yann@631:     select ARCH_SUPPORT_TUNE
yann@630:     help
yann@630:       The x86 architecture, as defined by:
yann@1635:         32-bit (ia32) : http://www.intel.com/
yann@1635:         64-bit (amd64): http://www.amd.com/us-en/Processors/DevelopWithAMD/0,,30_2252_875_7044,00.html