1.1 --- a/config/arch/x86.in Tue Nov 17 11:51:57 2009 +0100
1.2 +++ b/config/arch/x86.in Sun Aug 21 17:54:12 2011 +0200
1.3 @@ -1,14 +1,13 @@
1.4 # x86 specific options
1.5
1.6 -config ARCH_x86
1.7 - select ARCH_SUPPORTS_32
1.8 - select ARCH_SUPPORTS_64
1.9 - select ARCH_DEFAULT_32
1.10 - select ARCH_USE_MMU
1.11 - select ARCH_SUPPORT_ARCH
1.12 - select ARCH_SUPPORT_CPU
1.13 - select ARCH_SUPPORT_TUNE
1.14 - help
1.15 - The x86 architecture, as defined by:
1.16 - 32-bit (ia32) : http://www.intel.com/
1.17 - 64-bit (amd64): http://www.amd.com/us-en/Processors/DevelopWithAMD/0,,30_2252_875_7044,00.html
1.18 +## select ARCH_SUPPORTS_32
1.19 +## select ARCH_SUPPORTS_64
1.20 +## select ARCH_DEFAULT_32
1.21 +## select ARCH_USE_MMU
1.22 +## select ARCH_SUPPORT_ARCH
1.23 +## select ARCH_SUPPORT_CPU
1.24 +## select ARCH_SUPPORT_TUNE
1.25 +##
1.26 +## help The x86 architecture, as defined by:
1.27 +## help 32-bit (ia32) : http://www.intel.com/
1.28 +## help 64-bit (amd64): http://www.amd.com/us-en/Processors/DevelopWithAMD/0,,30_2252_875_7044,00.html