| # x86 specific options | |
| ## 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: | |
| ## help 32-bit (ia32) : http://www.intel.com/ | |
| ## help 64-bit (amd64): http://www.amd.com/us-en/Processors/DevelopWithAMD/0,,30_2252_875_7044,00.html |