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 endmenu
 216
 217
 218 menu "Time Management"
 219
 220 config TIME_VIRTUALIZE_TSC
 221         bool "Virtualize guest TSC"
 222         default n
 223         help
 224             Virtualize the processor time stamp counter in the guest,
 225             generally increasing consistency between various time sources
 226             but also potentially making guest time run slower than real time.
 227
 228 endmenu
 229
 230 menu "Symbiotic Functions"
 231
 232 config SYMBIOTIC
 233         bool "Enable Symbiotic Functionality"
 234         default n
 235         help
 236           Enable Symbiotic components of the VMM.
 237           This includes the SymSpy interface.
 238
 239 config SYMCALL
 240         bool "Symbiotic upcalls"
 241         default n
 242         depends on SYMBIOTIC && EXPERIMENTAL
 243         help
 244           Enables the Symbiotic upcall interface
 245
 246 config SWAPBYPASS
 247         bool "SwapBypass"
 248         default n
 249         depends on SYMBIOTIC && SYMCALL && EXPERIMENTAL
 250         help
 251           This enables the SwapBypass architecture
 252
 253 config SWAPBYPASS_TELEMETRY
 254         bool "Enable SwapBypass Telemetry"
 255         default n
 256         depends on TELEMETRY && SWAPBYPASS
 257         help
 258           Enable the telemetry information for the SwapBypass subsystem
 259
 260 menuconfig SYMMOD
 261         bool "Symbiotic Modules"
 262         default n
 263         depends on EXPERIMENTAL
 264 #       depends on SYMBIOTIC
 265         help
 266           Enable Symbiotic module loading
 267
 268
 269 endmenu
 270
 271
 272
 273 menu "Debug configuration"
 274
 275 config CONFIG_DEBUG_INFO
 276         bool "Compile with Debug information"
 277         default n
 278         help
 279          This adds the -g flag to the compilation flags
 280
 281
 282 ## Is unwind information useful
 283
 284 config DEBUG_ON
 285         bool "Enable Debugging"
 286         default y
 287         help
 288           This turns on debugging support
 289
 290
 291 config DEBUG_SVM
 292         bool "AMD SVM"
 293         default n
 294         depends on DEBUG_ON
 295         help
 296           This turns on debugging for the AMD SVM-specific code
 297
 298 config DEBUG_VMX
 299         bool "Intel VT"
 300         default n
 301         depends on DEBUG_ON
 302         help
 303           This turns on debugging for the Intel VT-specific code
 304
 305
 306 config DEBUG_SHADOW_PAGING
 307         bool "Shadow paging"
 308         default n
 309         depends on DEBUG_ON
 310         help
 311           This turns on debugging for the shadow paging system
 312
 313
 314 config DEBUG_NESTED_PAGING
 315         bool "Nested paging"
 316         default n
 317         depends on DEBUG_ON
 318         help
 319           This turns on debugging for the nested paging system
 320
 321
 322 config DEBUG_CTRL_REGS
 323         bool "Control registers"
 324         default n
 325         depends on DEBUG_ON
 326         help
 327           This turns on debugging for the control register handlers
 328
 329
 330 config DEBUG_INTERRUPTS
 331         bool "Interrupts"
 332         default n
 333         depends on DEBUG_ON
 334         help
 335           This turns on debugging for the interrupt system
 336
 337 config DEBUG_TIME
 338         bool "Timing"
 339         default n
 340         depends on DEBUG_ON
 341         help
 342           This turns on debugging of system time virtualization
 343
 344 config DEBUG_IO
 345         bool "IO"
 346         default n
 347         depends on DEBUG_ON
 348         help
 349           This turns on debugging for the IO handlers
 350
 351
 352 config DEBUG_EMULATOR
 353         bool "Instruction Emulator"
 354         default n
 355         depends on DEBUG_ON
 356         help
 357           This turns on debugging for the Instruction Emulator
 358
 359
 360 config DEBUG_XED
 361         bool "XED"
 362         default n
 363         depends on DEBUG_ON
 364         help
 365           This turns on debugging for the Xed Decoder
 366
 367 config DEBUG_HALT
 368         bool "Halt"
 369         default n
 370         depends on DEBUG_ON
 371         help
 372           This turns on debugging for the halt instruction handler
 373
 374 config DEBUG_DEV_MGR
 375         bool "Device Manager"
 376         default n
 377         depends on DEBUG_ON
 378         help
 379           This turns on debugging for the device manager
 380
 381
 382
 383
 384 endmenu
 385
 386
 387 menu "BIOS Selection"
 388
 389 config ROMBIOS_PATH
 390         string "Path to pre-built ROMBIOS binary"
 391         default "./bios/rombios/BIOS-bochs-latest"
 392         help
 393           This is the rombios that will be used for the guests
 394
 395 config VGABIOS_PATH
 396         string "Path to pre-built VGABIOS binary"
 397         default "./bios/vgabios/VGABIOS-lgpl-latest.bin"
 398         help
 399           This is the vgabios that will be used for the guests
 400
 401 config VMXASSIST_PATH
 402         string "Path to pre-built VMXASSIST binary"
 403         depends on VMX
 404         default "./bios/vmxassist/vmxassist.bin"
 405         help
 406           This is vmxassist image to boot real mode guests on
 407           Intel VMX Platforms
 408
 409 endmenu
 410
 411
 412 source "palacios/src/devices/Kconfig"
 413