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

config SW_INTERRUPTS
    bool "Enable interception and hooking of software interrupts"
    default n
    help
      This feature will cause the VMM to intercept the execution
      of software interrupts (i.e. the INTn instruction) and enable
      any INT vector to be hooked

config SWINTR_PASSTHROUGH
    bool "Hook all unhandled sofware interrupts for passthrough"
    depends on SW_INTERRUPTS
    default n
    help
      If enabled, this will cause all software interrupts 
      (INT instruction vectors) to be hooked for passthrough.
      May reduce performance but useful for debugging.

config SYSCALL_HIJACK
    bool "Enable System Call Hijacking"
    depends on SW_INTERRUPTS
    default n
    help
      Enable the VMM to hijack system calls executed by the guest.
      If enabled, the VMM will hook execution of INT 80
      (support for Fast-System Calls coming soon)

config SYSCALL_PASSTHROUGH
    bool "Hook all unhandled system calls for passthrough"
    depends on SYSCALL_HIJACK
    default n
    help
      If enabled, this option will cause all system calls
      that are not explicitly hooked to be hooked for 
      passthrough. This is useful for debugging.

config HIJACK_SYSCALL_MSR
    bool "Intercept Syscall-related MSR reads & writes"
    depends on SYSCALL_HIJACK 
    default n
    help
      Allow the VMM to intercept reads and writes to MSRs
      related to SYSCALL and SYSENTER instructions. Specifically,
      it will intercept R/W to STAR, CSTAR, and LSTAR.

endmenu