palacios/src/extensions/Kconfig

   1 menu "Extensions"
   2
   3 config EXT_VTIME
   4         bool "Enable Time virtualization"
   5         default n
   6         help
   7            Enables the timer virtualization extensions. These hide the cost of
   8            running inside the VMM context.  This can aid the consistency of
   9             time between multiple timers, but can cause the guest to run
  10             a good bit slower than the host in VM-intensive parts of the code.
  11
  12
  13 config EXT_VTSC
  14         bool "Fully virtualize guest TSC"
  15         default n
  16         depends on EXT_VTIME
  17         help
  18             Virtualize the processor time stamp counter in the guest,
  19             generally increasing consistency between various time sources
  20             but also potentially making guest time run slower than real time.
  21
  22 config EXT_MTRRS
  23         bool "Support virtualized MTTRs"
  24         default n
  25         help
  26            Provides a virtualized set of MTTR registers
  27
  28 config EXT_MACH_CHECK
  29         bool "Support machine-check functionality"
  30         default n
  31         help
  32            Provides a virtualized machine-check architecture
  33
  34 config DEGUB_EXT_MACH_CHECK
  35     bool "Debug machine-check functionality"
  36     default n
  37     depends on EXT_MACH_CHECK
  38     help
  39         Enable virtual machine-check architecture debugging
  40
  41 config EXT_INSPECTOR
  42         bool "VM Inspector"
  43         default n
  44         help
  45           Provides the inspection extension
  46
  47 endmenu