X-Git-Url: http://v3vee.org/palacios/gitweb/gitweb.cgi?a=blobdiff_plain;f=Kconfig;h=6c11bac80eaaa2e9bc029f5f752d0583bad7f28d;hb=fe9b69407ae9ac7aeb6a9d1500c89d48953864ac;hp=45a0568e89b6e367ff2a6b193507ff8eb47ff75f;hpb=030c1391e319bfeb97ed16fa1dd76545ab3f5f9d;p=palacios.git

diff --git a/Kconfig b/Kconfig
index 45a0568..6c11bac 100644
--- a/Kconfig
+++ b/Kconfig
@@ -63,6 +63,22 @@ config DEBUG_INFO
 	help
 	  Compiles the Palacios library with debugging symbols
 
+choice 
+	prompt "X86 decoder"
+	default XED
+
+config XED
+	bool "XED decoder library"
+	help
+	   This uses the XED decoder library from pintools 
+
+config V3_DECODER
+	bool "Internal Palacios decoder"
+	help
+	    This selects the internal V3Vee x86 decoder
+
+
+endchoice
 
 menu "Supported host OS features"
       
@@ -225,10 +241,16 @@ endmenu
 
 
 menu "Time Management"
-
+config VIRTUALIZE_TIME
+	bool "Enable Time virtualization"
+	default n
+	help
+	   Enables the timer virtualization extensions
+ 
 config TIME_HIDE_VM_COST
         bool "Hide VMM Run Cost"
 	default n
+	depends on VIRTUALIZE_TIME
 	help
 	    Offset guest time from host time sufficiently to hide the cost of
 	    running in the virtual machine. This can aid the consistency of
@@ -238,6 +260,7 @@ config TIME_HIDE_VM_COST
 config TIME_VIRTUALIZE_TSC
 	bool "Fully virtualize guest TSC"
 	default n
+	depends on VIRTUALIZE_TIME
 	help
 	    Virtualize the processor time stamp counter in the guest, 
 	    generally increasing consistency between various time sources