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
  35 config EXT_INSPECTOR
  36         bool "VM Inspector"
  37         default n
  38         help
  39           Provides the inspection extension
  40
  41 endmenu