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 config V3VEE
  52         bool "V3Vee abstraction layer"
  53         default "n"
  54         help
  55           V3Vee guest OS instead of ELF image
  56
  57 #
  58 # Define implied options from the CPU selection
  59 #
  60
  61 config X86_L1_CACHE_BYTES
  62         int
  63         default "128" if GENERIC_CPU || MPSC
  64         default "64" if MK8
  65
  66 config X86_L1_CACHE_SHIFT
  67         int
  68         default "7" if GENERIC_CPU || MPSC
  69         default "6" if MK8
  70
  71 config X86_INTERNODE_CACHE_BYTES
  72         int
  73         default X86_L1_CACHE_BYTES
  74
  75 config X86_INTERNODE_CACHE_SHIFT
  76         int
  77         default X86_L1_CACHE_SHIFT
  78
  79 config NR_CPUS
  80         int "Maximum number of CPUs (2-256)"
  81         range 1 255
  82         default "8"
  83         help
  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.
  87
  88           This is purely to save memory - each supported CPU requires
  89           memory in the static kernel configuration.
  90
  91 #
  92 # Physical address where the kernel is loaded
  93 #
  94 config PHYSICAL_START
  95         hex "Physical address for kernel load"
  96         default "0x200000"
  97
  98
  99
 100 config VGA_CONSOLE
 101         bool "VGA console"
 102         default "y" if PC
 103
 104 config SERIAL_CONSOLE
 105         bool "Serial console support"
 106         default "y" if PC
 107
 108 config RCAL0_CONSOLE
 109         bool "Cray XT3 L0 console support"
 110         default "y" if CRAY_XT
 111         default "n"
 112
 113
 114
 115 endmenu
 116
 117 source "arch/x86_64/Kconfig.debug"