kitten/arch/x86_64/Kconfig

   1 mainmenu "Kitten Kernel Configuration"
   2
   3 config x86_64
   4         bool
   5         default y
   6         help
   7           Support for the x86-64 architecture.
   8
   9 source "init/Kconfig"
  10
  11 menu "Target Configuration"
  12
  13 choice
  14         prompt "System Architecture"
  15         default PC
  16
  17 config PC
  18         bool "PC-compatible"
  19         help
  20           Support for standard PC compatible systems.
  21
  22 config CRAY_XT
  23         bool "Red Storm (Cray XT3/XT4)"
  24          help
  25           Support for Cray XT3 and XT4 systems.
  26
  27 endchoice
  28
  29
  30 choice
  31         prompt "Processor Family"
  32         default MK8
  33
  34 config MK8
  35         bool "AMD-Opteron/Athlon64"
  36         help
  37           Optimize for AMD Opteron/Athlon64/Hammer/K8 CPUs.
  38
  39 config MPSC
  40         bool "Intel-64/Core2"
  41         help
  42           Optimize for Intel 64 architecture.
  43
  44 config GENERIC_CPU
  45         bool "Generic-x86-64"
  46         help
  47           Generic x86-64 CPU.
  48
  49 endchoice
  50
  51
  52 #
  53 # Define implied options from the CPU selection
  54 #
  55
  56 config X86_L1_CACHE_BYTES
  57         int
  58         default "128" if GENERIC_CPU || MPSC
  59         default "64" if MK8
  60
  61 config X86_L1_CACHE_SHIFT
  62         int
  63         default "7" if GENERIC_CPU || MPSC
  64         default "6" if MK8
  65
  66 config X86_INTERNODE_CACHE_BYTES
  67         int
  68         default X86_L1_CACHE_BYTES
  69
  70 config X86_INTERNODE_CACHE_SHIFT
  71         int
  72         default X86_L1_CACHE_SHIFT
  73
  74 config NR_CPUS
  75         int "Maximum number of CPUs (2-256)"
  76         range 1 255
  77         default "8"
  78         help
  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.
  82
  83           This is purely to save memory - each supported CPU requires
  84           memory in the static kernel configuration.
  85
  86 #
  87 # Physical address where the kernel is loaded
  88 #
  89 config PHYSICAL_START
  90         hex
  91         default "0x200000"
  92
  93 endmenu
  94
  95
  96 config VGA_CONSOLE
  97         bool
  98         default "y" if PC
  99
 100 config SERIAL_CONSOLE
 101         bool
 102         default "y" if PC
 103
 104 config RCAL0_CONSOLE
 105         bool
 106         default "y" if CRAY_XT
 107         default "n"
 108
 109 source "arch/x86_64/Kconfig.debug"