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 RTM Emulation Support"
        default n
        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.

config DEBUG_TM_FUNC
    bool "Enable RTM debugging output"
    depends on TM_FUNC
    default n
    help
        Enable Transactional Memory debugging output

endmenu