yann@628: # x86 specific options
yann@628: 
yann@2444: ## select ARCH_SUPPORTS_32
yann@2444: ## select ARCH_SUPPORTS_64
yann@2444: ## select ARCH_DEFAULT_32
yann@2444: ## select ARCH_USE_MMU
yann@2788: ## select ARCH_SUPPORTS_WITH_ARCH
yann@2788: ## select ARCH_SUPPORTS_WITH_CPU
yann@2788: ## select ARCH_SUPPORTS_WITH_TUNE
yann@2444: ##
yann@2444: ## help The x86 architecture, as defined by:
yann@2444: ## help     32-bit (ia32) : http://www.intel.com/
yann@2444: ## help     64-bit (amd64): http://www.amd.com/us-en/Processors/DevelopWithAMD/0,,30_2252_875_7044,00.html