X-Git-Url: http://v3vee.org/palacios/gitweb/gitweb.cgi?a=blobdiff_plain;f=palacios%2Fsrc%2Fextensions%2FKconfig;h=eb646bccf1aea110c9da20bea948f4de845a3120;hb=02d617c8f625ad5da6c4c9b78b224e84baac5d08;hp=22d1dcccd40b79119598302ae93f6e414b5d8aec;hpb=840d15c3a300636e758fcfcf403ae415ffa67816;p=palacios.git

diff --git a/palacios/src/extensions/Kconfig b/palacios/src/extensions/Kconfig
index 22d1dcc..eb646bc 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
@@ -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,48 +25,32 @@ config EXT_INSPECTOR
 	help
 	  Provides the inspection extension
 
-config SW_INTERRUPTS
-    bool "Enable interception and hooking of software interrupts"
-    default n
-    help
-      This feature will cause the VMM to intercept the execution
-      of software interrupts (i.e. the INTn instruction) and enable
-      any INT vector to be hooked
+config EXT_VMWARE
+	bool "VMWare Persona"
+	default n
+	help
+	  Provides a VMWare persona to allow TSC calibration
 
-config SWINTR_PASSTHROUGH
-    bool "Hook all unhandled sofware interrupts for passthrough"
-    depends on SW_INTERRUPTS
-    default n
-    help
-      If enabled, this will cause all software interrupts 
-      (INT instruction vectors) to be hooked for passthrough.
-      May reduce performance but useful for debugging.
+config EXT_SCHED_EDF
+	bool "EDF Real-time Scheduler"
+	default n
+	help
+	  Provides a full real-time EDF scheduler for VM cores
 
-config SYSCALL_HIJACK
-    bool "Enable System Call Hijacking"
-    depends on SW_INTERRUPTS
-    default n
-    help
-      Enable the VMM to hijack system calls executed by the guest.
-      If enabled, the VMM will hook execution of INT 80
-      (support for Fast-System Calls coming soon)
+config DEBUG_EXT_SCHED_EDF
+	bool "Debugging for EDF Real-time Scheduler"
+	default n
+	depends on DEBUG_ON && EXT_SCHED_EDF
 
-config SYSCALL_PASSTHROUGH
-    bool "Hook all unhandled system calls for passthrough"
-    depends on SYSCALL_HIJACK
-    default n
-    help
-      If enabled, this option will cause all system calls
-      that are not explicitly hooked to be hooked for 
-      passthrough. This is useful for debugging.
+config EXT_CPU_MAPPER_EDF
+	bool "CPU Mapper for EDF Scheduler"
+	default n
+	help
+	  Provides an CPU Mapper for EDF scheduler
 
-config HIJACK_SYSCALL_MSR
-    bool "Intercept Syscall-related MSR reads & writes"
-    depends on SYSCALL_HIJACK 
-    default n
-    help
-      Allow the VMM to intercept reads and writes to MSRs
-      related to SYSCALL and SYSENTER instructions. Specifically,
-      it will intercept R/W to STAR, CSTAR, and LSTAR.
+config DEBUG_EXT_CPU_MAPPER_EDF
+	bool "Debugging for EDF CPU Mapper"
+	default n
+	depends on DEBUG_ON && EXT_CPU_MAPPER_EDF
 
 endmenu