Kconfig.template

   1 mainmenu "Palacios VMM Configuration"
   2
   3 config x86_64
   4         bool
   5         default y
   6         help
   7           Support for the x86-64 architecture.
   8
   9
  10 menu "Target Configuration"
  11
  12 choice
  13         prompt "System Architecture"
  14         default PC
  15
  16 config V3_32BIT
  17         bool "Compile a 32 bit library"
  18         help
  19           Support for 32 bit Operating Systems
  20
  21 config V3_64BIT
  22         bool "Compile a 64 bit library"
  23         help
  24           Support for 64 bit Operating Systems
  25 endchoice
  26
  27 config CRAY_XT
  28         bool "Red Storm (Cray XT3/XT4)"
  29          help
  30           Support for Cray XT3 and XT4 systems.
  31
  32
  33
  34 #
  35 # Define implied options from the CPU selection
  36 #
  37
  38 config X86_L1_CACHE_BYTES
  39         int
  40         default "128" if GENERIC_CPU || MPSC
  41         default "64" if MK8
  42
  43 config X86_L1_CACHE_SHIFT
  44         int
  45         default "7" if GENERIC_CPU || MPSC
  46         default "6" if MK8
  47
  48 config X86_INTERNODE_CACHE_BYTES
  49         int
  50         default X86_L1_CACHE_BYTES
  51
  52 config X86_INTERNODE_CACHE_SHIFT
  53         int
  54         default X86_L1_CACHE_SHIFT
  55
  56 config NR_CPUS
  57         int "Maximum number of CPUs (2-256)"
  58         range 1 255
  59         default "16"
  60         help
  61           This allows you to specify the maximum number of CPUs which this
  62           kernel will support. Current maximum is 256 CPUs due to
  63           APIC addressing limits. Less depending on the hardware.
  64
  65           This is purely to save memory - each supported CPU requires
  66           memory in the static kernel configuration.
  67
  68 #
  69 # Physical address where the kernel is loaded
  70 #
  71 config PHYSICAL_START
  72         hex
  73         default "0x200000"
  74
  75 endmenu
  76
  77 menu "Virtualization"
  78
  79 config PALACIOS
  80         bool "Include Palacios virtual machine monitor"
  81         default "n"
  82         help
  83           Include the Palacios virtual machine monitor. This enables Kitten
  84           to run guest operating systems alongside native applications.
  85
  86 config PALACIOS_SOCKET
  87         bool
  88         depends on NETWORK && LWIP_TCP && LWIP_UDP && LWIP_SOCKET
  89         default "y"
  90
  91 config PALACIOS_PATH
  92         string "Path to pre-built Palacios tree"
  93         depends on PALACIOS
  94         default "../palacios"
  95         help
  96           Path to a built Palacios source tree. This path is used to
  97           find Palacios include files and libraries that need to be
  98           linked with the Kitten kernel image.
  99
 100 config GUEST_OS_ISOIMAGE_PATH
 101         string "Path to guest OS ISO image"
 102         depends on PALACIOS
 103         default "/opt/vmm-tools/isos/puppy.iso"
 104         help
 105           Path to an ISO image to link with the example user/hello_world
 106           init task.  The hello_world init task will use this ISO image
 107           to spawn a guest OS virtual machine via Palacios.
 108
 109 endmenu
 110
 111 #source "net/Kconfig"
 112