changeset 1122 | 796d1143a1dc |
parent 903 | 9fb0f81b4416 |
child 1488 | ff95f62f84a1 |
1.1 --- a/config/arch/x86_64.in Sun Oct 05 15:32:00 2008 +0000 1.2 +++ b/config/arch/x86_64.in Sun Jan 04 14:39:39 2009 +0000 1.3 @@ -1,6 +1,7 @@ 1.4 # x86_64 specific options 1.5 1.6 config ARCH_x86_64 1.7 + select ARCH_64 1.8 select ARCH_SUPPORT_ARCH 1.9 select ARCH_SUPPORT_CPU 1.10 select ARCH_SUPPORT_TUNE