significant refactoring of RTM emulation code

[palacios.git] / palacios / src / extensions / Kconfig

diff --git a/palacios/src/extensions/Kconfig b/palacios/src/extensions/Kconfig
index c7b7d69..897d368 100644 (file)
--- a/palacios/src/extensions/Kconfig
+++ b/palacios/src/extensions/Kconfig
@@ -1,24 +1,5 @@
 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
@@ -26,11 +7,17 @@ config EXT_MTRRS
           Provides a virtualized set of MTTR registers
 
 config EXT_MACH_CHECK
-       bool "Support Machine Check functionality"
+       bool "Support machine-check functionality"
        default n
        help 
-          Provides a virtualized machine check architecture
+          Provides a virtualized machine-check architecture
 
+config DEBUG_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"
@@ -38,4 +25,48 @@ config EXT_INSPECTOR
        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