Kconfig

   1 mainmenu "Palacios VMM Configuration"
   2
   3 menu "Target Configuration"
   4
   5 config CRAY_XT
   6         bool "Red Storm (Cray XT3/XT4)"
   7         help
   8           Support for Cray XT3 and XT4 systems.
   9
  10 config SVM
  11         bool "AMD SVM Support"
  12         default y
  13         help
  14           Compile with support for AMD SVM
  15
  16 config VMX
  17         bool "Intel VMX Support"
  18         default y
  19         help
  20           Compile with support for Intel VMX
  21
  22
  23 config SOCKET
  24         bool "Include Network Socket Support"
  25         default y
  26         help
  27           Enable networking support in Palacios
  28
  29
  30
  31 config PROFILE_VMM
  32         bool "Enable VMM profiling support"
  33         default y
  34         help
  35           Enable the profiling framework in Palacios
  36           -----
  37           This is a framwork that allows components of palacios to record
  38           information that is periodically reported to the log file
  39
  40 config INSTRUMENT_VMM
  41         bool "Enable VMM instrumentation"
  42         default n
  43         help
  44           Enable the instrumentation framework
  45           --------
  46           This is much heavier weight than profiling
  47
  48
  49 endmenu
  50
  51
  52
  53
  54 menu "Symbiotic Functions"
  55
  56 config SYMBIOTIC
  57         bool "Enable Symbiotic Functionality"
  58         default n
  59         help
  60           Enable Symbiotic components of the VMM
  61
  62
  63 endmenu
  64
  65
  66
  67 menu "Debug configuration"
  68
  69 config CONFIG_DEBUG_INFO
  70         bool "Compile with Debug information"
  71         default n
  72         help
  73          This adds the -g flag to the compilation flags
  74
  75
  76 ## Is unwind information useful
  77
  78 config DEBUG_ON
  79         bool "Enable Debugging"
  80         default y
  81         help
  82           This turns on debugging support
  83
  84
  85 config DEBUG_SHADOW_PAGING
  86         bool "Shadow paging"
  87         default n
  88         depends on DEBUG_ON
  89         help
  90           This turns on debugging for the shadow paging system
  91
  92
  93 config DEBUG_NESTED_PAGING
  94         bool "Nested paging"
  95         default n
  96         depends on DEBUG_ON
  97         help
  98           This turns on debugging for the nested paging system
  99
 100
 101 config DEBUG_CTRL_REGS
 102         bool "Control registers"
 103         default n
 104         depends on DEBUG_ON
 105         help
 106           This turns on debugging for the control register handlers
 107
 108
 109 config DEBUG_INTERRUPTS
 110         bool "Interrupts"
 111         default n
 112         depends on DEBUG_ON
 113         help
 114           This turns on debugging for the interrupt system
 115
 116
 117
 118 config DEBUG_IO
 119         bool "IO"
 120         default n
 121         depends on DEBUG_ON
 122         help
 123           This turns on debugging for the IO handlers
 124
 125
 126 config DEBUG_EMULATOR
 127         bool "Instruction Emulator"
 128         default n
 129         depends on DEBUG_ON
 130         help
 131           This turns on debugging for the Instruction Emulator
 132
 133
 134 config DEBUG_XED
 135         bool "XED"
 136         default n
 137         depends on DEBUG_ON
 138         help
 139           This turns on debugging for the Xed Decoder
 140
 141 config DEBUG_HALT
 142         bool "Halt"
 143         default n
 144         depends on DEBUG_ON
 145         help
 146           This turns on debugging for the halt instruction handler
 147
 148 config DEBUG_DEV_MGR
 149         bool "Device Manager"
 150         default n
 151         depends on DEBUG_ON
 152         help
 153           This turns on debugging for the device manager
 154
 155
 156
 157
 158 endmenu
 159
 160
 161 menu "BIOS Selection"
 162
 163 config ROMBIOS_PATH
 164         string "Path to pre-built ROMBIOS binary"
 165         default "./bios/rombios/BIOS-bochs-latest"
 166         help
 167           This is the rombios that will be used for the guests
 168
 169 config VGABIOS_PATH
 170         string "Path to pre-built VGABIOS binary"
 171         default "./bios/vgabios/VGABIOS-lgpl-latest.bin"
 172         help
 173           This is the vgabios that will be used for the guests
 174
 175 config VMXASSIST_PATH
 176         string "Path to pre-built VMXASSIST binary"
 177         depends on VMX
 178         default "./bios/vmxassist/vmxassist.bin"
 179         help
 180           This is vmxassist image to boot real mode guests on
 181           Intel VMX Platforms
 182
 183 endmenu
 184
 185
 186 source "palacios/src/devices/Kconfig"
 187