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"
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
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