X-Git-Url: http://v3vee.org/palacios/gitweb/gitweb.cgi?a=blobdiff_plain;f=palacios%2Fsrc%2Fextensions%2FKconfig;h=897d3688c5adf899a2c01098c0ba162196324ea7;hb=e42b257e5364f8ddba2c86668631013859cb2e46;hp=158ed42894346eaa79fa90cef812704fb8a9684a;hpb=382829fe58cb541af371547325c5502e37032ecd;p=palacios.git

diff --git a/palacios/src/extensions/Kconfig b/palacios/src/extensions/Kconfig
index 158ed42..897d368 100644
--- 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
@@ -31,7 +12,7 @@ config EXT_MACH_CHECK
 	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
@@ -44,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