X-Git-Url: http://v3vee.org/palacios/gitweb/gitweb.cgi?a=blobdiff_plain;f=palacios%2Fsrc%2Fextensions%2FKconfig;h=eb646bccf1aea110c9da20bea948f4de845a3120;hb=e26f7efb461ea8fba7eb0fd14809618c22dd475b;hp=088e571c477dca5bd792e26f10325f68e898827f;hpb=9a9b55daa9e3bfd2214f620b9adbba6307dacd11;p=palacios.git

diff --git a/palacios/src/extensions/Kconfig b/palacios/src/extensions/Kconfig
index 088e571..eb646bc 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,54 +25,32 @@ config EXT_INSPECTOR
 	help
 	  Provides the inspection extension
 
-config EXT_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. Extension name is "swintr_intercept"
-
-config DEBUG_EXT_SW_INTERRUPTS
-    bool "Enable debugging of software interrupt interception code"
-    depends on EXT_SW_INTERRUPTS
-    default n
-    help
-      This will enable useful debugging printouts for software
-      intercept code
+config EXT_VMWARE
+	bool "VMWare Persona"
+	default n
+	help
+	  Provides a VMWare persona to allow TSC calibration
 
-config EXT_SWINTR_PASSTHROUGH
-    bool "Hook all unhandled sofware interrupts for passthrough"
-    depends on EXT_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 EXT_SYSCALL_HIJACK
-    bool "Enable System Call Hijacking"
-    depends on EXT_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
+config DEBUG_EXT_SCHED_EDF
+	bool "Debugging for EDF Real-time Scheduler"
+	default n
+	depends on DEBUG_ON && EXT_SCHED_EDF
 
-config DEBUG_EXT_SYSCALL_HIJACK
-    bool "Enable Syscall Hijack Debug in Palacios"
-    depends on EXT_SYSCALL_HIJACK
-    default n
-    help 
-      Enable Debugging printouts for syscall hijacking code
-      in Palacios
+config EXT_CPU_MAPPER_EDF
+	bool "CPU Mapper for EDF Scheduler"
+	default n
+	help
+	  Provides an CPU Mapper for EDF scheduler
 
-config EXT_SYSCALL_PASSTHROUGH
-    bool "Hook all unhandled system calls for passthrough"
-    depends on EXT_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 DEBUG_EXT_CPU_MAPPER_EDF
+	bool "Debugging for EDF CPU Mapper"
+	default n
+	depends on DEBUG_ON && EXT_CPU_MAPPER_EDF
 
 endmenu