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 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
