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
