# x86 specific options

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