X-Git-Url: http://v3vee.org/palacios/gitweb/gitweb.cgi?a=blobdiff_plain;f=palacios%2Fsrc%2Fextensions%2FKconfig;h=000d99fcaea79a6198ff8964d8008f1ff6def7aa;hb=6b055801f5e04e134b779ad49bc4826179ebf6bb;hp=98f35d82cba1bc5654e454fc4ea23f8ce7d68ca9;hpb=248165419c37671ef8bad2fe5851a32f3fe837d3;p=palacios.git

diff --git a/palacios/src/extensions/Kconfig b/palacios/src/extensions/Kconfig
index 98f35d8..000d99f 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
@@ -25,4 +25,21 @@ 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
+
 endmenu