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 config BUILT_IN_STDLIB
  50         bool "Enable Built in versions of stdlib functions"
  51         default n
  52         help
  53           Not all host OSes provide link targets for stdlib functions
  54           Palacios provides internal implementations of these functions, that you can select from this list
  55
  56 config BUILT_IN_MEMSET
  57         bool "memset()"
  58         default n
  59         depends on BUILT_IN_STDLIB
  60         help
  61           This enables Palacios' internal implementation of memset
  62
  63
  64 config BUILT_IN_MEMCPY
  65         bool "memcpy()"
  66         default n
  67         depends on BUILT_IN_STDLIB
  68         help
  69           This enables Palacios' internal implementation of memcpy
  70
  71 config BUILT_IN_MEMCMP
  72         bool "memcmp()"
  73         default n
  74         depends on BUILT_IN_STDLIB
  75         help
  76           This enables Palacios' internal implementation of memcmp
  77
  78 config BUILT_IN_STRLEN
  79         bool "strlen()"
  80         default n
  81         depends on BUILT_IN_STDLIB
  82         help
  83           This enables Palacios' internal implementation of strlen
  84
  85 config BUILT_IN_STRNLEN
  86         bool "strnlen()"
  87         default n
  88         depends on BUILT_IN_STDLIB
  89         help
  90           This enables Palacios' internal implementation of strnlen
  91
  92
  93
  94 config BUILT_IN_STRCMP
  95         bool "strcmp()"
  96         default n
  97         depends on BUILT_IN_STDLIB
  98         help
  99           This enables Palacios' internal implementation of strcmp
 100
 101 config BUILT_IN_STRNCMP
 102         bool "strncmp()"
 103         default n
 104         depends on BUILT_IN_STDLIB
 105         help
 106           This enables Palacios' internal implementation of strncmp
 107
 108 config BUILT_IN_STRCAT
 109         bool "strcat()"
 110         default n
 111         depends on BUILT_IN_STDLIB
 112         help
 113           This enables Palacios' internal implementation of strcat
 114
 115 config BUILT_IN_STRNCAT
 116         bool "strncat()"
 117         default n
 118         depends on BUILT_IN_STDLIB
 119         help
 120           This enables Palacios' internal implementation of strncat
 121
 122 config BUILT_IN_STRCPY
 123         bool "strcpy()"
 124         default n
 125         depends on BUILT_IN_STDLIB
 126         help
 127           This enables Palacios' internal implementation of strcpy
 128
 129 config BUILT_IN_STRNCPY
 130         bool "strncpy()"
 131         default n
 132         depends on BUILT_IN_STDLIB
 133         help
 134           This enables Palacios' internal implementation of strncpy
 135
 136 config BUILT_IN_STRDUP
 137         bool "strdup()"
 138         default n
 139         depends on BUILT_IN_STDLIB
 140         help
 141           This enables Palacios' internal implementation of strdup
 142
 143
 144 config BUILT_IN_ATOI
 145         bool "atoi()"
 146         default n
 147         depends on BUILT_IN_STDLIB
 148         help
 149           This enables Palacios' internal implementation of atoi
 150
 151 config BUILT_IN_STRCHR
 152         bool "strchr()"
 153         default n
 154         depends on BUILT_IN_STDLIB
 155         help
 156           This enables Palacios' internal implementation of strchr
 157
 158 config BUILT_IN_STRRCHR
 159         bool "strrchr()"
 160         default n
 161         depends on BUILT_IN_STDLIB
 162         help
 163           This enables Palacios' internal implementation of strrchr
 164
 165 config BUILT_IN_STRPBRK
 166         bool "strpbrk()"
 167         default n
 168         depends on BUILT_IN_STDLIB
 169         help
 170           This enables Palacios' internal implementation of strpbrk
 171
 172
 173 endmenu
 174
 175
 176
 177
 178 menu "Symbiotic Functions"
 179
 180 config SYMBIOTIC
 181         bool "Enable Symbiotic Functionality"
 182         default n
 183         help
 184           Enable Symbiotic components of the VMM
 185
 186
 187 endmenu
 188
 189
 190
 191 menu "Debug configuration"
 192
 193 config CONFIG_DEBUG_INFO
 194         bool "Compile with Debug information"
 195         default n
 196         help
 197          This adds the -g flag to the compilation flags
 198
 199
 200 ## Is unwind information useful
 201
 202 config DEBUG_ON
 203         bool "Enable Debugging"
 204         default y
 205         help
 206           This turns on debugging support
 207
 208
 209 config DEBUG_SHADOW_PAGING
 210         bool "Shadow paging"
 211         default n
 212         depends on DEBUG_ON
 213         help
 214           This turns on debugging for the shadow paging system
 215
 216
 217 config DEBUG_NESTED_PAGING
 218         bool "Nested paging"
 219         default n
 220         depends on DEBUG_ON
 221         help
 222           This turns on debugging for the nested paging system
 223
 224
 225 config DEBUG_CTRL_REGS
 226         bool "Control registers"
 227         default n
 228         depends on DEBUG_ON
 229         help
 230           This turns on debugging for the control register handlers
 231
 232
 233 config DEBUG_INTERRUPTS
 234         bool "Interrupts"
 235         default n
 236         depends on DEBUG_ON
 237         help
 238           This turns on debugging for the interrupt system
 239
 240
 241
 242 config DEBUG_IO
 243         bool "IO"
 244         default n
 245         depends on DEBUG_ON
 246         help
 247           This turns on debugging for the IO handlers
 248
 249
 250 config DEBUG_EMULATOR
 251         bool "Instruction Emulator"
 252         default n
 253         depends on DEBUG_ON
 254         help
 255           This turns on debugging for the Instruction Emulator
 256
 257
 258 config DEBUG_XED
 259         bool "XED"
 260         default n
 261         depends on DEBUG_ON
 262         help
 263           This turns on debugging for the Xed Decoder
 264
 265 config DEBUG_HALT
 266         bool "Halt"
 267         default n
 268         depends on DEBUG_ON
 269         help
 270           This turns on debugging for the halt instruction handler
 271
 272 config DEBUG_DEV_MGR
 273         bool "Device Manager"
 274         default n
 275         depends on DEBUG_ON
 276         help
 277           This turns on debugging for the device manager
 278
 279
 280
 281
 282 endmenu
 283
 284
 285 menu "BIOS Selection"
 286
 287 config ROMBIOS_PATH
 288         string "Path to pre-built ROMBIOS binary"
 289         default "./bios/rombios/BIOS-bochs-latest"
 290         help
 291           This is the rombios that will be used for the guests
 292
 293 config VGABIOS_PATH
 294         string "Path to pre-built VGABIOS binary"
 295         default "./bios/vgabios/VGABIOS-lgpl-latest.bin"
 296         help
 297           This is the vgabios that will be used for the guests
 298
 299 config VMXASSIST_PATH
 300         string "Path to pre-built VMXASSIST binary"
 301         depends on VMX
 302         default "./bios/vmxassist/vmxassist.bin"
 303         help
 304           This is vmxassist image to boot real mode guests on
 305           Intel VMX Platforms
 306
 307 endmenu
 308
 309
 310 source "palacios/src/devices/Kconfig"
 311