palacios/src/extensions/Kconfig

   1 menu "Extensions"
   2
   3 config EXT_MTRRS
   4         bool "Support virtualized MTTRs"
   5         default n
   6         help
   7            Provides a virtualized set of MTTR registers
   8
   9 config EXT_MACH_CHECK
  10         bool "Support machine-check functionality"
  11         default n
  12         help
  13            Provides a virtualized machine-check architecture
  14
  15 config DEGUB_EXT_MACH_CHECK
  16     bool "Debug machine-check functionality"
  17     default n
  18     depends on EXT_MACH_CHECK
  19     help
  20         Enable virtual machine-check architecture debugging
  21
  22 config EXT_INSPECTOR
  23         bool "VM Inspector"
  24         default n
  25         help
  26           Provides the inspection extension
  27
  28 config EXT_VMWARE
  29         bool "VMWare Persona"
  30         default n
  31         help
  32           Provides a VMWare persona to allow TSC calibration
  33
  34 config EXT_SCHED_EDF
  35         bool "EDF Real-time Scheduler"
  36         default n
  37         help
  38           Provides a full real-time EDF scheduler for VM cores
  39
  40 endmenu