mainmenu "Kitten Kernel Configuration"

config x86_64
	bool
	default y
	help
	  Support for the x86-64 architecture.

source "init/Kconfig"

menu "Target Configuration"

choice
	prompt "System Architecture"
	default PC

config PC
        bool "PC-compatible"
        help
	  Support for standard PC compatible systems.

config CRAY_XT
        bool "Red Storm (Cray XT3/XT4)"
         help
	  Support for Cray XT3 and XT4 systems.

endchoice


choice
	prompt "Processor Family"
	default MK8

config MK8
	bool "AMD-Opteron/Athlon64"
	help
	  Optimize for AMD Opteron/Athlon64/Hammer/K8 CPUs.

config MPSC
	bool "Intel-64/Core2"
	help
	  Optimize for Intel 64 architecture.

config GENERIC_CPU
	bool "Generic-x86-64"
	help
	  Generic x86-64 CPU.

endchoice


#
# Define implied options from the CPU selection
#

config X86_L1_CACHE_BYTES
        int
        default "128" if GENERIC_CPU || MPSC
        default "64" if MK8

config X86_L1_CACHE_SHIFT
        int
        default "7" if GENERIC_CPU || MPSC
        default "6" if MK8

config X86_INTERNODE_CACHE_BYTES
	int
	default X86_L1_CACHE_BYTES

config X86_INTERNODE_CACHE_SHIFT
	int
	default X86_L1_CACHE_SHIFT

config NR_CPUS
        int "Maximum number of CPUs (2-256)"
        range 1 255
        default "8"
        help
          This allows you to specify the maximum number of CPUs which this
          kernel will support. Current maximum is 256 CPUs due to
          APIC addressing limits. Less depending on the hardware.

          This is purely to save memory - each supported CPU requires
          memory in the static kernel configuration.

#
# Physical address where the kernel is loaded
#
config PHYSICAL_START
	hex
	default "0x200000"

endmenu


config VGA_CONSOLE
	bool
	default "y" if PC

config SERIAL_CONSOLE
	bool
	default "y" if PC

config RCAL0_CONSOLE
	bool
	default "y" if CRAY_XT
	default "n"

source "arch/x86_64/Kconfig.debug"