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