diff -r fe3eda71a9d0 -r 9fb0f81b4416 config/arch/x86_64.in
--- /dev/null	Thu Jan 01 00:00:00 1970 +0000
+++ b/config/arch/x86_64.in	Sun Oct 05 15:32:00 2008 +0000
@@ -0,0 +1,9 @@
+# x86_64 specific options
+
+config ARCH_x86_64
+    select ARCH_SUPPORT_ARCH
+    select ARCH_SUPPORT_CPU
+    select ARCH_SUPPORT_TUNE
+    help
+      The x86_64 architecture, as defined by:
+        http://www.amd.com/us-en/Processors/DevelopWithAMD/0,,30_2252_875_7044,00.html