help
Provides a virtualized machine-check architecture
-config DEGUB_EXT_MACH_CHECK
+config DEBUG_EXT_MACH_CHECK
bool "Debug machine-check functionality"
default n
depends on EXT_MACH_CHECK
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
