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 DEBUG_INFO
  80         bool "Compile with Debug Information"
  81         default n
  82         help
  83           Compiles the Palacios library with debugging symbols
  84
  85 choice
  86         prompt "X86 decoder"
  87         default XED
  88
  89 config XED
  90         bool "XED decoder library"
  91         depends on !LINUX
  92         help
  93            This uses the XED decoder library from pintools
  94
  95 config V3_DECODER
  96         bool "Internal Palacios decoder"
  97         help
  98             This selects the internal V3Vee x86 decoder
  99
 100
 101 endchoice
 102
 103 menu "Supported host OS features"
 104
 105 config MULTITHREAD_OS
 106         bool "Host support for  multiple threads"
 107         default y
 108         help
 109           Select this if your OS supports multiple threads of execution. This will enable features in Palacios
 110           to require the creation of additional execution threads.
 111
 112
 113 config ALIGNED_PG_ALLOC
 114         bool "Host support for aligned page allocations"
 115         default n
 116         help
 117           Select this if your OS supports allocating memory pages using an alignment. This is required
 118           if you want Palacios to run with large page table pages.
 119
 120 config MAX_CPUS
 121         int "Maximum number of cpus"
 122         range 1 255
 123         default "16"
 124         help
 125           Specifies the maximum number of hardware CPUs supported by the OS
 126           For uniprocessor environments, set this to 1
 127
 128 config FILE
 129         bool "Host Support for file operations"
 130         default n
 131         help
 132           Select this if your host OS supports file operatoins and you want Palacios to be able to use them.
 133
 134 config KEYED_STREAMS
 135         bool "Host support for keyed streams"
 136         default n
 137         help
 138           Select this if your host OS supports keyed streams
 139           Palacios Checkpoint/Restore and Migration depends on this feature
 140
 141 config CONSOLE
 142         bool "Host Support for VM text-mode console"
 143         default n
 144         help
 145           Select this if you want to forward a guest console interface to some host OS service
 146           This is for a TEXT MODE console.   Select the framebuffer console for graphics and text
 147
 148 config GRAPHICS_CONSOLE
 149         bool "Host Support for VM graphics and text-mode console based on a frame buffer"
 150         default n
 151         help
 152           Select this if you want to forward a guest graphics-mode (and text-mode) console
 153           interface to some host OS service.  This is for a GRAPHICS console based on a shared frame buffer.
 154           Text mode output is RENDERED onto the framebuffer
 155
 156 config SOCKET
 157         bool "Host support for Network Sockets"
 158         default y
 159         help
 160           Select this if you host OS implements a socket API that is available to Palacios. This is required
 161           to support the internal networking features of Palacios.
 162
 163
 164 config PACKET
 165         bool "Host support for Raw Packet Transmision"
 166         depends on EXPERIMENTAL
 167         default n
 168         help
 169           Select this if you host OS implements a raw packet network API that is available to Palacios. This is required
 170           to support the internal networking features of Palacios.
 171
 172 endmenu
 173
 174
 175
 176 config TELEMETRY
 177         bool "Enable VMM telemetry support"
 178         default n
 179         help
 180           Enable the telemetry framework in Palacios
 181           -----
 182           This is a framwork that allows components of palacios to record
 183           information that is periodically reported to the log output.
 184           Telemetry is automatically collected for vmexits. Subsystem telemetry
 185           is configured separately
 186
 187
 188 config SHADOW_PAGING_TELEMETRY
 189         bool "Enable Shadow Paging Telemetry"
 190         default y
 191         depends on TELEMETRY
 192         help
 193           Enable telemetry information for shadow paging
 194
 195
 196
 197 config EXPERIMENTAL
 198         bool "Enable Experimental options"
 199         default n
 200         help
 201           This allows the selection of experimental features. This includes incomplete or unreviewed code.
 202           Only enable this feature if you are working on the features in question.
 203           IMPORTANT: Non-experimental code MUST NOT use, require, or rely on experimental features.
 204           Any code that violates this will be immediately deleted without warning.
 205           --
 206           The purpose of this option is to allow features under development to be committed to the mainline
 207           to more easily track changes and provide access to multiple developers
 208
 209 config VNET
 210         depends on EXPERIMENTAL
 211         bool "Enable Vnet in Palacios"
 212         default n
 213         help
 214           Enable the Vnet in Palacios
 215
 216
 217 config INSPECTOR
 218         bool "Enable VM inspection"
 219         depends on EXPERIMENTAL
 220         default n
 221         help
 222           Enable inspection framework for vm internal state
 223
 224 endmenu
 225
 226
 227 source "Kconfig.stdlibs"
 228
 229
 230 menu "Virtual Paging"
 231
 232 config SHADOW_PAGING
 233         bool "Enable shadow paging"
 234         default y
 235         help
 236            Enables shadow paging for virtual machines
 237
 238
 239 config SHADOW_PAGING_VTLB
 240         bool "Virtual TLB"
 241         default y
 242         depends on SHADOW_PAGING
 243         help
 244            Enables Virtual TLB implemenation for shadow paging
 245
 246
 247 config DEBUG_SHDW_PG_VTLB
 248         bool "Enable VTLB debugging"
 249         default n
 250         depends on SHADOW_PAGING_VTLB
 251         help
 252           Enables debugging messages for VTLB implementation
 253
 254 config SHADOW_PAGING_CACHE1
 255         bool "Shadow Page Cache (1)"
 256         default y
 257         depends on SHADOW_PAGING
 258         help
 259            Enables caching implemenation for shadow paging
 260
 261
 262 endmenu
 263
 264
 265
 266 menu "Time Management"
 267 config VIRTUALIZE_TIME
 268         bool "Enable Time virtualization"
 269         default n
 270         help
 271            Enables the timer virtualization extensions
 272
 273 config TIME_HIDE_VM_COST
 274         bool "Hide VMM Run Cost"
 275         default n
 276         depends on VIRTUALIZE_TIME
 277         help
 278             Offset guest time from host time sufficiently to hide the cost of
 279             running in the virtual machine. This can aid the consistency of
 280             time between multiple timers, but can cause the guest to run
 281             a good bit slower than the host in VM-intensive parts of the code.
 282
 283 config TIME_VIRTUALIZE_TSC
 284         bool "Fully virtualize guest TSC"
 285         default n
 286         depends on VIRTUALIZE_TIME
 287         help
 288             Virtualize the processor time stamp counter in the guest,
 289             generally increasing consistency between various time sources
 290             but also potentially making guest time run slower than real time.
 291
 292 endmenu
 293
 294
 295
 296 menu "Symbiotic Functions"
 297
 298 config SYMBIOTIC
 299         bool "Enable Symbiotic Functionality"
 300         default n
 301         help
 302           Enable Symbiotic components of the VMM.
 303           This includes the SymSpy interface.
 304
 305 config SYMCALL
 306         bool "Symbiotic upcalls"
 307         default n
 308         depends on SYMBIOTIC && EXPERIMENTAL
 309         help
 310           Enables the Symbiotic upcall interface
 311
 312 config SWAPBYPASS
 313         bool "SwapBypass"
 314         default n
 315         depends on SYMBIOTIC && SYMCALL && EXPERIMENTAL
 316         help
 317           This enables the SwapBypass architecture
 318
 319 config SWAPBYPASS_TELEMETRY
 320         bool "Enable SwapBypass Telemetry"
 321         default n
 322         depends on TELEMETRY && SWAPBYPASS
 323         help
 324           Enable the telemetry information for the SwapBypass subsystem
 325
 326 menuconfig SYMMOD
 327         bool "Symbiotic Modules"
 328         default n
 329         depends on EXPERIMENTAL
 330 #       depends on SYMBIOTIC
 331         help
 332           Enable Symbiotic module loading
 333
 334
 335 endmenu
 336
 337
 338
 339 menu "Debug configuration"
 340
 341 config CONFIG_DEBUG_INFO
 342         bool "Compile with Debug information"
 343         default n
 344         help
 345          This adds the -g flag to the compilation flags
 346
 347
 348 ## Is unwind information useful
 349
 350 config DEBUG_ON
 351         bool "Enable Debugging"
 352         default y
 353         help
 354           This turns on debugging support
 355
 356
 357 config DEBUG_SVM
 358         bool "AMD SVM"
 359         default n
 360         depends on DEBUG_ON
 361         help
 362           This turns on debugging for the AMD SVM-specific code
 363
 364 config DEBUG_VMX
 365         bool "Intel VT"
 366         default n
 367         depends on DEBUG_ON
 368         help
 369           This turns on debugging for the Intel VT-specific code
 370
 371
 372 config DEBUG_SHADOW_PAGING
 373         bool "Shadow paging"
 374         default n
 375         depends on DEBUG_ON
 376         help
 377           This turns on debugging for the shadow paging system
 378
 379
 380 config DEBUG_NESTED_PAGING
 381         bool "Nested paging"
 382         default n
 383         depends on DEBUG_ON
 384         help
 385           This turns on debugging for the nested paging system
 386
 387
 388 config DEBUG_CTRL_REGS
 389         bool "Control registers"
 390         default n
 391         depends on DEBUG_ON
 392         help
 393           This turns on debugging for the control register handlers
 394
 395
 396 config DEBUG_INTERRUPTS
 397         bool "Interrupts"
 398         default n
 399         depends on DEBUG_ON
 400         help
 401           This turns on debugging for the interrupt system
 402
 403 config DEBUG_TIME
 404         bool "Timing"
 405         default n
 406         depends on DEBUG_ON
 407         help
 408           This turns on debugging of system time virtualization
 409
 410 config DEBUG_IO
 411         bool "IO"
 412         default n
 413         depends on DEBUG_ON
 414         help
 415           This turns on debugging for the IO handlers
 416
 417
 418 config DEBUG_EMULATOR
 419         bool "Instruction Emulator"
 420         default n
 421         depends on DEBUG_ON
 422         help
 423           This turns on debugging for the Instruction Emulator
 424
 425
 426 config DEBUG_DECODER
 427         bool "Instruction Decoder"
 428         default n
 429         depends on DEBUG_ON
 430         help
 431           This turns on debugging for the selected instruction decoder
 432
 433 config DEBUG_HALT
 434         bool "Halt"
 435         default n
 436         depends on DEBUG_ON
 437         help
 438           This turns on debugging for the halt instruction handler
 439
 440 config DEBUG_DEV_MGR
 441         bool "Device Manager"
 442         default n
 443         depends on DEBUG_ON
 444         help
 445           This turns on debugging for the device manager
 446
 447 config DEBUG_VNET
 448         depends on EXPERIMENTAL && VNET
 449         bool "Enable Vnet Debug in Palacios"
 450         default n
 451         help
 452           Enable the Vnet debug in Palacios
 453
 454 endmenu
 455
 456
 457 menu "BIOS Selection"
 458
 459 config ROMBIOS_PATH
 460         string "Path to pre-built ROMBIOS binary"
 461         default "./bios/rombios/BIOS-bochs-latest"
 462         help
 463           This is the rombios that will be used for the guests
 464
 465 config VGABIOS_PATH
 466         string "Path to pre-built VGABIOS binary"
 467         default "./bios/vgabios/VGABIOS-lgpl-latest.bin"
 468         help
 469           This is the vgabios that will be used for the guests
 470
 471 config VMXASSIST_PATH
 472         string "Path to pre-built VMXASSIST binary"
 473         depends on VMX
 474         default "./bios/vmxassist/vmxassist.bin"
 475         help
 476           This is vmxassist image to boot real mode guests on
 477           Intel VMX Platforms
 478
 479 endmenu
 480
 481
 482 source "palacios/src/devices/Kconfig"
 483