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