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 config SOCKET
  99         bool "Host support for Network Sockets"
 100         default y
 101         help
 102           Select this if you host OS implements a socket API that is available to Palacios. This is required
 103           to support the internal networking features of Palacios.
 104
 105
 106 config PACKET
 107         bool "Host support for Raw Packet Transmision"
 108         depends on EXPERIMENTAL
 109         default n
 110         help
 111           Select this if you host OS implements a raw packet network API that is available to Palacios. This is required
 112           to support the internal networking features of Palacios.
 113
 114 endmenu
 115
 116
 117
 118 config TELEMETRY
 119         bool "Enable VMM telemetry support"
 120         default n
 121         help
 122           Enable the telemetry framework in Palacios
 123           -----
 124           This is a framwork that allows components of palacios to record
 125           information that is periodically reported to the log output.
 126           Telemetry is automatically collected for vmexits. Subsystem telemetry
 127           is configured separately
 128
 129
 130 config SHADOW_PAGING_TELEMETRY
 131         bool "Enable Shadow Paging Telemetry"
 132         default y
 133         depends on TELEMETRY
 134         help
 135           Enable telemetry information for shadow paging
 136
 137
 138 config INSTRUMENT_VMM
 139         bool "Enable VMM instrumentation"
 140         default n
 141         help
 142           Enable the instrumentation framework
 143           --------
 144           This is much heavier weight than profiling
 145
 146 config EXPERIMENTAL
 147         bool "Enable Experimental options"
 148         default n
 149         help
 150           This allows the selection of experimental features. This includes incomplete or unreviewed code.
 151           Only enable this feature if you are working on the features in question.
 152           IMPORTANT: Non-experimental code MUST NOT use, require, or rely on experimental features.
 153           Any code that violates this will be immediately deleted without warning.
 154           --
 155           The purpose of this option is to allow features under development to be committed to the mainline
 156           to more easily track changes and provide access to multiple developers
 157
 158 config VNET
 159         depends on EXPERIMENTAL
 160         bool "Enable Vnet in Palacios"
 161         default n
 162         help
 163           Enable the Vnet in Palacios
 164
 165 config DEBUG_VNET
 166         depends on EXPERIMENTAL && VNET
 167         bool "Enable Vnet Debug in Palacios"
 168         default n
 169         help
 170           Enable the Vnet debug in Palacios
 171
 172 config LINUX_VIRTIO_VNET
 173         bool "Enable Virtio VNET interface"
 174         default n
 175         depends on PCI && EXPERIMENTAL && VNET
 176         help
 177           Enable the Virtio VNET interface
 178
 179 config DEBUG_LINUX_VIRTIO_VNET
 180         bool "Virtio VNET Interface Debugging"
 181         default n
 182         depends on LINUX_VIRTIO_VNET && DEBUG_ON
 183         help
 184           Enable debugging for the VNET Virtio interface
 185
 186 endmenu
 187
 188
 189 source "Kconfig.stdlibs"
 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 "Time Management"
 228
 229 config TIME_VIRTUALIZE_TSC
 230         bool "Virtualize guest TSC"
 231         default n
 232         help
 233             Virtualize the processor time stamp counter in the guest,
 234             generally increasing consistency between various time sources
 235             but also potentially making guest time run slower than real time.
 236
 237 endmenu
 238
 239 menu "Symbiotic Functions"
 240
 241 config SYMBIOTIC
 242         bool "Enable Symbiotic Functionality"
 243         default n
 244         help
 245           Enable Symbiotic components of the VMM.
 246           This includes the SymSpy interface.
 247
 248 config SYMCALL
 249         bool "Symbiotic upcalls"
 250         default n
 251         depends on SYMBIOTIC && EXPERIMENTAL
 252         help
 253           Enables the Symbiotic upcall interface
 254
 255 config SWAPBYPASS
 256         bool "SwapBypass"
 257         default n
 258         depends on SYMBIOTIC && SYMCALL && EXPERIMENTAL
 259         help
 260           This enables the SwapBypass architecture
 261
 262 config SWAPBYPASS_TELEMETRY
 263         bool "Enable SwapBypass Telemetry"
 264         default n
 265         depends on TELEMETRY && SWAPBYPASS
 266         help
 267           Enable the telemetry information for the SwapBypass subsystem
 268
 269 menuconfig SYMMOD
 270         bool "Symbiotic Modules"
 271         default n
 272         depends on EXPERIMENTAL
 273 #       depends on SYMBIOTIC
 274         help
 275           Enable Symbiotic module loading
 276
 277
 278 endmenu
 279
 280
 281
 282 menu "Debug configuration"
 283
 284 config CONFIG_DEBUG_INFO
 285         bool "Compile with Debug information"
 286         default n
 287         help
 288          This adds the -g flag to the compilation flags
 289
 290
 291 ## Is unwind information useful
 292
 293 config DEBUG_ON
 294         bool "Enable Debugging"
 295         default y
 296         help
 297           This turns on debugging support
 298
 299
 300 config DEBUG_SVM
 301         bool "AMD SVM"
 302         default n
 303         depends on DEBUG_ON
 304         help
 305           This turns on debugging for the AMD SVM-specific code
 306
 307 config DEBUG_VMX
 308         bool "Intel VT"
 309         default n
 310         depends on DEBUG_ON
 311         help
 312           This turns on debugging for the Intel VT-specific code
 313
 314
 315 config DEBUG_SHADOW_PAGING
 316         bool "Shadow paging"
 317         default n
 318         depends on DEBUG_ON
 319         help
 320           This turns on debugging for the shadow paging system
 321
 322
 323 config DEBUG_NESTED_PAGING
 324         bool "Nested paging"
 325         default n
 326         depends on DEBUG_ON
 327         help
 328           This turns on debugging for the nested paging system
 329
 330
 331 config DEBUG_CTRL_REGS
 332         bool "Control registers"
 333         default n
 334         depends on DEBUG_ON
 335         help
 336           This turns on debugging for the control register handlers
 337
 338
 339 config DEBUG_INTERRUPTS
 340         bool "Interrupts"
 341         default n
 342         depends on DEBUG_ON
 343         help
 344           This turns on debugging for the interrupt system
 345
 346 config DEBUG_TIME
 347         bool "Timing"
 348         default n
 349         depends on DEBUG_ON
 350         help
 351           This turns on debugging of system time virtualization
 352
 353 config DEBUG_IO
 354         bool "IO"
 355         default n
 356         depends on DEBUG_ON
 357         help
 358           This turns on debugging for the IO handlers
 359
 360
 361 config DEBUG_EMULATOR
 362         bool "Instruction Emulator"
 363         default n
 364         depends on DEBUG_ON
 365         help
 366           This turns on debugging for the Instruction Emulator
 367
 368
 369 config DEBUG_XED
 370         bool "XED"
 371         default n
 372         depends on DEBUG_ON
 373         help
 374           This turns on debugging for the Xed Decoder
 375
 376 config DEBUG_HALT
 377         bool "Halt"
 378         default n
 379         depends on DEBUG_ON
 380         help
 381           This turns on debugging for the halt instruction handler
 382
 383 config DEBUG_DEV_MGR
 384         bool "Device Manager"
 385         default n
 386         depends on DEBUG_ON
 387         help
 388           This turns on debugging for the device manager
 389
 390
 391
 392
 393 endmenu
 394
 395
 396 menu "BIOS Selection"
 397
 398 config ROMBIOS_PATH
 399         string "Path to pre-built ROMBIOS binary"
 400         default "./bios/rombios/BIOS-bochs-latest"
 401         help
 402           This is the rombios that will be used for the guests
 403
 404 config VGABIOS_PATH
 405         string "Path to pre-built VGABIOS binary"
 406         default "./bios/vgabios/VGABIOS-lgpl-latest.bin"
 407         help
 408           This is the vgabios that will be used for the guests
 409
 410 config VMXASSIST_PATH
 411         string "Path to pre-built VMXASSIST binary"
 412         depends on VMX
 413         default "./bios/vmxassist/vmxassist.bin"
 414         help
 415           This is vmxassist image to boot real mode guests on
 416           Intel VMX Platforms
 417
 418 endmenu
 419
 420
 421 source "palacios/src/devices/Kconfig"
 422