menu "Extensions"

config EXT_MTRRS
	bool "Support virtualized MTTRs"
	default n
	help
	   Provides a virtualized set of MTTR registers

config EXT_MACH_CHECK
	bool "Support machine-check functionality"
	default n
	help 
	   Provides a virtualized machine-check architecture

config DEBUG_EXT_MACH_CHECK
    bool "Debug machine-check functionality"
    default n
    depends on EXT_MACH_CHECK
    help
        Enable virtual machine-check architecture debugging

config EXT_INSPECTOR
	bool "VM Inspector"
	default n
	help
	  Provides the inspection extension

config EXT_VMWARE
	bool "VMWare Persona"
	default n
	help
	  Provides a VMWare persona to allow TSC calibration

config EXT_SCHED_EDF
	bool "EDF Real-time Scheduler"
	default n
	help
	  Provides a full real-time EDF scheduler for VM cores

config DEBUG_EXT_SCHED_EDF
	bool "Debugging for EDF Real-time Scheduler"
	default n
	depends on DEBUG_ON && EXT_SCHED_EDF

config EXT_CPU_MAPPER_EDF
	bool "CPU Mapper for EDF Scheduler"
	default n
	help
	  Provides an CPU Mapper for EDF scheduler

config DEBUG_EXT_CPU_MAPPER_EDF
	bool "Debugging for EDF CPU Mapper"
	default n
	depends on DEBUG_ON && EXT_CPU_MAPPER_EDF

config TM_FUNC
        bool "Enable Intel Transactional Memory Emulation"
        default n
	depends on SVM && QUIX86 && EXPERIMENTAL
        help
          Enable Palacios to emulate Intel's hardware
          transactional memory extensions. This is the
          Restricted Transactional Memory (RTM) featureset,
          part of Intel's TSX extensions.  

          Ironically, this feature is only implemented for AMD (SVM)

config DEBUG_TM_FUNC
    bool "Enable transactional memory emulation debugging output"
    depends on DEBUG_ON && TM_FUNC
    default n
    help
        Enable Transactional Memory debugging output

endmenu