X-Git-Url: http://v3vee.org/palacios/gitweb/gitweb.cgi?a=blobdiff_plain;f=palacios%2Fsrc%2Fextensions%2FKconfig;h=15fc29096578ca7d1b563d6afdc9a823f3e5d7dc;hb=894733a198529cfaf93f4f4b68b255906154ab56;hp=6b497b9561171c3ca7bcc195fe805886ec3c5364;hpb=8bf8dfd501c677d4754f79fd01dd2cb5f37b898a;p=palacios.releases.git

diff --git a/palacios/src/extensions/Kconfig b/palacios/src/extensions/Kconfig
index 6b497b9..15fc290 100644
--- a/palacios/src/extensions/Kconfig
+++ b/palacios/src/extensions/Kconfig
@@ -12,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
@@ -31,4 +31,45 @@ config EXT_VMWARE
 	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