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.
52 bool "V3Vee abstraction layer"
55 V3Vee guest OS instead of ELF image
58 # Define implied options from the CPU selection
61 config X86_L1_CACHE_BYTES
63 default "128" if GENERIC_CPU || MPSC
66 config X86_L1_CACHE_SHIFT
68 default "7" if GENERIC_CPU || MPSC
71 config X86_INTERNODE_CACHE_BYTES
73 default X86_L1_CACHE_BYTES
75 config X86_INTERNODE_CACHE_SHIFT
77 default X86_L1_CACHE_SHIFT
80 int "Maximum number of CPUs (2-256)"
84 This allows you to specify the maximum number of CPUs which this
85 kernel will support. Current maximum is 256 CPUs due to
86 APIC addressing limits. Less depending on the hardware.
88 This is purely to save memory - each supported CPU requires
89 memory in the static kernel configuration.
92 # Physical address where the kernel is loaded
95 hex "Physical address for kernel load"
104 config SERIAL_CONSOLE
105 bool "Serial console support"
109 bool "Cray XT3 L0 console support"
110 default "y" if CRAY_XT
117 source "arch/x86_64/Kconfig.debug"