menu "Extensions"

config EXT_VTIME
	bool "Enable Time virtualization"
	default n
	help
	   Enables the timer virtualization extensions. These hide the cost of 
	   running inside the VMM context.  This can aid the consistency of
	    time between multiple timers, but can cause the guest to run 
	    a good bit slower than the host in VM-intensive parts of the code.
 

config EXT_VTSC
	bool "Fully virtualize guest TSC"
	default n
	depends on EXT_VTIME
	help
	    Virtualize the processor time stamp counter in the guest, 
	    generally increasing consistency between various time sources 
	    but also potentially making guest time run slower than real time.
	 
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 DEGUB_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

endmenu