config/arch/x86_64.in
author "Frederic Roussel" <fr.frasc@gmail.com>
Tue Nov 17 10:01:22 2009 -0800 (2009-11-17)
branch1.5
changeset 1648 58e37a9e90e5
parent 1038 33f695f7773a
permissions -rw-r--r--
Fix typos and adjust some documentation.
(transplanted from 19205498184e299fb45a4addebcf7b480f119165)
yann@628
     1
# x86_64 specific options
yann@628
     2
yann@628
     3
config ARCH_x86_64
yann@1038
     4
    select ARCH_64
is@1488
     5
    select ARCH_USE_MMU
yann@631
     6
    select ARCH_SUPPORT_ARCH
yann@631
     7
    select ARCH_SUPPORT_CPU
yann@631
     8
    select ARCH_SUPPORT_TUNE
yann@630
     9
    help
yann@630
    10
      The x86_64 architecture, as defined by:
yann@630
    11
        http://www.amd.com/us-en/Processors/DevelopWithAMD/0,,30_2252_875_7044,00.html