1 mainmenu "Kitten Kernel Configuration"
7 Support for the x86-64 architecture.
11 menu "Target Configuration"
14 prompt "System Architecture"
20 Support for standard PC compatible systems.
23 bool "Red Storm (Cray XT3/XT4)"
25 Support for Cray XT3 and XT4 systems.
31 prompt "Processor Family"
35 bool "AMD-Opteron/Athlon64"
37 Optimize for AMD Opteron/Athlon64/Hammer/K8 CPUs.
42 Optimize for Intel 64 architecture.
53 # Define implied options from the CPU selection
56 config X86_L1_CACHE_BYTES
58 default "128" if GENERIC_CPU || MPSC
61 config X86_L1_CACHE_SHIFT
63 default "7" if GENERIC_CPU || MPSC
66 config X86_INTERNODE_CACHE_BYTES
68 default X86_L1_CACHE_BYTES
70 config X86_INTERNODE_CACHE_SHIFT
72 default X86_L1_CACHE_SHIFT
75 int "Maximum number of CPUs (2-256)"
79 This allows you to specify the maximum number of CPUs which this
80 kernel will support. Current maximum is 256 CPUs due to
81 APIC addressing limits. Less depending on the hardware.
83 This is purely to save memory - each supported CPU requires
84 memory in the static kernel configuration.
87 # Physical address where the kernel is loaded
100 config SERIAL_CONSOLE
106 default "y" if CRAY_XT
109 source "arch/x86_64/Kconfig.debug"