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