Kconfig

   1 mainmenu "Palacios VMM Configuration"
   2
   3 menu "Target Configuration"
   4
   5
   6 choice
   7         prompt "Target Host OS"
   8         default KITTEN
   9
  10 config KITTEN
  11         bool "Kitten OS"
  12         select BUILT_IN_STDLIB
  13         select BUILT_IN_STRCASECMP
  14         select BUILT_IN_ATOI
  15         select ALIGNED_PG_ALLOC
  16         select MULTITHREAD_OS
  17         help
  18           This enables the necesary options to compile Palacios with Kitten
  19
  20 config LINUX_BUILTIN
  21         bool "OLD Linux (Built in) -- to be deprecated"
  22         select BUILT_IN_STDLIB
  23         select BUILT_IN_ATOI
  24         select FILE
  25         help
  26           This enables the necessary options to compile Palacios with Linux 2.6
  27           Currently, this is in development, and only 2.6.32 is verified to work
  28
  29
  30 config LINUX
  31         bool "Linux Module"
  32         select BUILT_IN_STDLIB
  33         select BUILT_IN_STRDUP
  34         select BUILT_IN_ATOI
  35         select FILE
  36         select V3_DECODER
  37         help
  38           This enables the necessary options to compile Palacios as a Linux module
  39
  40
  41 config LINUX_KERN
  42         depends on LINUX
  43         string "Linux Kernel Source directory"
  44         default "/usr/src/linux"
  45         help
  46           This is the directory containing the linux source for the kernel module to be built
  47
  48 config MINIX
  49         bool "MINIX 3"
  50         help
  51           This enables the necesary options to compile Palacios with Kitten
  52
  53 config OTHER_OS
  54         bool "Other OS"
  55         help
  56           Choose this to compile Palacios for a Generic Host OS
  57           (Formerly GeekOS)
  58
  59 endchoice
  60
  61 config CRAY_XT
  62         bool "Red Storm (Cray XT3/XT4)"
  63         help
  64           Support for Cray XT3 and XT4 systems.
  65
  66 config SVM
  67         bool "AMD SVM Support"
  68         default y
  69         help
  70           Compile with support for AMD SVM
  71
  72 config VMX
  73         bool "Intel VMX Support"
  74         default y
  75         help
  76           Compile with support for Intel VMX
  77
  78
  79 config FRAME_POINTER
  80         bool "Compile with Frame pointers"
  81         default n
  82         help
  83           Compiles the Palacios library with Frame pointers
  84
  85 config DEBUG_INFO
  86         bool "Compile with Debug Information"
  87         default n
  88         help
  89           Compiles the Palacios library with debugging symbols
  90
  91 choice
  92         prompt "X86 decoder"
  93         default XED
  94
  95 config XED
  96         bool "XED decoder library"
  97         depends on !LINUX
  98         help
  99            This uses the XED decoder library from pintools
 100
 101 config V3_DECODER
 102         bool "Internal Palacios decoder"
 103         help
 104             This selects the internal V3Vee x86 decoder
 105
 106
 107 endchoice
 108
 109 menu "Supported host OS features"
 110
 111 config MULTITHREAD_OS
 112         bool "Host support for  multiple threads"
 113         default y
 114         help
 115           Select this if your OS supports multiple threads of execution. This will enable features in Palacios
 116           to require the creation of additional execution threads.
 117
 118
 119 config ALIGNED_PG_ALLOC
 120         bool "Host support for aligned page allocations"
 121         default n
 122         help
 123           Select this if your OS supports allocating memory pages using an alignment. This is required
 124           if you want Palacios to run with large page table pages.
 125
 126 config MAX_CPUS
 127         int "Maximum number of cpus"
 128         range 1 255
 129         default "16"
 130         help
 131           Specifies the maximum number of hardware CPUs supported by the OS
 132           For uniprocessor environments, set this to 1
 133
 134 endmenu
 135
 136 source "palacios/src/interfaces/Kconfig"
 137 source "palacios/src/extensions/Kconfig"
 138
 139 config TELEMETRY
 140         bool "Enable VMM telemetry support"
 141         default n
 142         help
 143           Enable the telemetry framework in Palacios
 144           -----
 145           This is a framwork that allows components of palacios to record
 146           information that is periodically reported to the log output.
 147           Telemetry is automatically collected for vmexits. Subsystem telemetry
 148           is configured separately
 149
 150
 151 config SHADOW_PAGING_TELEMETRY
 152         bool "Enable Shadow Paging Telemetry"
 153         default y
 154         depends on TELEMETRY
 155         help
 156           Enable telemetry information for shadow paging
 157
 158
 159
 160 config EXPERIMENTAL
 161         bool "Enable Experimental options"
 162         default n
 163         help
 164           This allows the selection of experimental features. This includes incomplete or unreviewed code.
 165           Only enable this feature if you are working on the features in question.
 166           IMPORTANT: Non-experimental code MUST NOT use, require, or rely on experimental features.
 167           Any code that violates this will be immediately deleted without warning.
 168           --
 169           The purpose of this option is to allow features under development to be committed to the mainline
 170           to more easily track changes and provide access to multiple developers
 171
 172 endmenu
 173
 174
 175 source "Kconfig.stdlibs"
 176
 177
 178 menu "Virtual Paging"
 179
 180 config SHADOW_PAGING
 181         bool "Enable shadow paging"
 182         default y
 183         help
 184            Enables shadow paging for virtual machines
 185
 186
 187 config SHADOW_PAGING_VTLB
 188         bool "Virtual TLB"
 189         default y
 190         depends on SHADOW_PAGING
 191         help
 192            Enables Virtual TLB implemenation for shadow paging
 193
 194
 195 config DEBUG_SHDW_PG_VTLB
 196         bool "Enable VTLB debugging"
 197         default n
 198         depends on SHADOW_PAGING_VTLB
 199         help
 200           Enables debugging messages for VTLB implementation
 201
 202 config SHADOW_PAGING_CACHE1
 203         bool "Shadow Page Cache (1)"
 204         default y
 205         depends on SHADOW_PAGING
 206         help
 207            Enables caching implemenation for shadow paging
 208
 209
 210 endmenu
 211
 212
 213
 214 menu "Time Management"
 215 config VIRTUALIZE_TIME
 216         bool "Enable Time virtualization"
 217         default n
 218         help
 219            Enables the timer virtualization extensions
 220
 221 config TIME_HIDE_VM_COST
 222         bool "Hide VMM Run Cost"
 223         default n
 224         depends on VIRTUALIZE_TIME
 225         help
 226             Offset guest time from host time sufficiently to hide the cost of
 227             running in the virtual machine. This can aid the consistency of
 228             time between multiple timers, but can cause the guest to run
 229             a good bit slower than the host in VM-intensive parts of the code.
 230
 231 config TIME_VIRTUALIZE_TSC
 232         bool "Fully virtualize guest TSC"
 233         default n
 234         depends on VIRTUALIZE_TIME
 235         help
 236             Virtualize the processor time stamp counter in the guest,
 237             generally increasing consistency between various time sources
 238             but also potentially making guest time run slower than real time.
 239
 240 endmenu
 241
 242
 243
 244 menu "Symbiotic Functions"
 245
 246 config SYMBIOTIC
 247         bool "Enable Symbiotic Functionality"
 248         default n
 249         help
 250           Enable Symbiotic components of the VMM.
 251           This includes the SymSpy interface.
 252
 253 config SYMCALL
 254         bool "Symbiotic upcalls"
 255         default n
 256         depends on SYMBIOTIC && EXPERIMENTAL
 257         help
 258           Enables the Symbiotic upcall interface
 259
 260 config SWAPBYPASS
 261         bool "SwapBypass"
 262         default n
 263         depends on SYMBIOTIC && SYMCALL && EXPERIMENTAL
 264         help
 265           This enables the SwapBypass architecture
 266
 267 config SWAPBYPASS_TELEMETRY
 268         bool "Enable SwapBypass Telemetry"
 269         default n
 270         depends on TELEMETRY && SWAPBYPASS
 271         help
 272           Enable the telemetry information for the SwapBypass subsystem
 273
 274 menuconfig SYMMOD
 275         bool "Symbiotic Modules"
 276         default n
 277         depends on EXPERIMENTAL
 278 #       depends on SYMBIOTIC
 279         help
 280           Enable Symbiotic module loading
 281
 282
 283 endmenu
 284
 285 menu "VNET"
 286
 287 config VNET
 288         bool "Enable Vnet in Palacios"
 289         default n
 290         help
 291           Enable the Vnet in Palacios
 292
 293 config DEBUG_VNET
 294         depends on VNET
 295         bool "Enable Vnet Debug in Palacios"
 296         default n
 297         help
 298           Enable the Vnet debug in Palacios
 299
 300
 301 endmenu
 302
 303 menu "Debug configuration"
 304
 305
 306 ## Is unwind information useful
 307
 308 config DEBUG_ON
 309         bool "Enable Debugging"
 310         default y
 311         help
 312           This turns on debugging support
 313
 314
 315 config DEBUG_SVM
 316         bool "AMD SVM"
 317         default n
 318         depends on DEBUG_ON
 319         help
 320           This turns on debugging for the AMD SVM-specific code
 321
 322 config DEBUG_VMX
 323         bool "Intel VT"
 324         default n
 325         depends on DEBUG_ON
 326         help
 327           This turns on debugging for the Intel VT-specific code
 328
 329
 330 config DEBUG_SHADOW_PAGING
 331         bool "Shadow paging"
 332         default n
 333         depends on DEBUG_ON
 334         help
 335           This turns on debugging for the shadow paging system
 336
 337
 338 config DEBUG_NESTED_PAGING
 339         bool "Nested paging"
 340         default n
 341         depends on DEBUG_ON
 342         help
 343           This turns on debugging for the nested paging system
 344
 345
 346 config DEBUG_CTRL_REGS
 347         bool "Control registers"
 348         default n
 349         depends on DEBUG_ON
 350         help
 351           This turns on debugging for the control register handlers
 352
 353
 354 config DEBUG_INTERRUPTS
 355         bool "Interrupts"
 356         default n
 357         depends on DEBUG_ON
 358         help
 359           This turns on debugging for the interrupt system
 360
 361 config DEBUG_TIME
 362         bool "Timing"
 363         default n
 364         depends on DEBUG_ON
 365         help
 366           This turns on debugging of system time virtualization
 367
 368 config DEBUG_IO
 369         bool "IO"
 370         default n
 371         depends on DEBUG_ON
 372         help
 373           This turns on debugging for the IO handlers
 374
 375
 376 config DEBUG_EMULATOR
 377         bool "Instruction Emulator"
 378         default n
 379         depends on DEBUG_ON
 380         help
 381           This turns on debugging for the Instruction Emulator
 382
 383
 384 config DEBUG_DECODER
 385         bool "Instruction Decoder"
 386         default n
 387         depends on DEBUG_ON
 388         help
 389           This turns on debugging for the selected instruction decoder
 390
 391 config DEBUG_HALT
 392         bool "Halt"
 393         default n
 394         depends on DEBUG_ON
 395         help
 396           This turns on debugging for the halt instruction handler
 397
 398 config DEBUG_DEV_MGR
 399         bool "Device Manager"
 400         default n
 401         depends on DEBUG_ON
 402         help
 403           This turns on debugging for the device manager
 404
 405 config DEBUG_MEM_ERRORS
 406     bool "Verbose memory errors"
 407     default n
 408     depends on DEBUG_ON
 409     help
 410       This turns on debugging for memory translations and lookups
 411
 412 endmenu
 413
 414
 415 menu "BIOS Selection"
 416
 417 config ROMBIOS_PATH
 418         string "Path to pre-built ROMBIOS binary"
 419         default "./bios/rombios/BIOS-bochs-latest"
 420         help
 421           This is the rombios that will be used for the guests
 422
 423 config VGABIOS_PATH
 424         string "Path to pre-built VGABIOS binary"
 425         default "./bios/vgabios/VGABIOS-lgpl-latest.bin"
 426         help
 427           This is the vgabios that will be used for the guests
 428
 429 config VMXASSIST_PATH
 430         string "Path to pre-built VMXASSIST binary"
 431         depends on VMX
 432         default "./bios/vmxassist/vmxassist.bin"
 433         help
 434           This is vmxassist image to boot real mode guests on
 435           Intel VMX Platforms
 436
 437 endmenu
 438
 439
 440 source "palacios/src/devices/Kconfig"
 441