X-Git-Url: http://v3vee.org/palacios/gitweb/gitweb.cgi?a=blobdiff_plain;f=Kconfig;h=ec9fe604bcfd675e78484b66913736d82d850e30;hb=32bc955f315d3cc297c03126eb6a63d6eeda0bc5;hp=0e87296998f87bc48898e93d28bc32c73aeb54c2;hpb=fc423a5a59fba0b24c90167dd48234f1fe6ec6cc;p=palacios.releases.git diff --git a/Kconfig b/Kconfig index 0e87296..ec9fe60 100644 --- a/Kconfig +++ b/Kconfig @@ -96,7 +96,6 @@ config CONSOLE Select this if you want to forward a guest console interface to some host OS service - config SOCKET bool "Host support for Network Sockets" default y @@ -189,7 +188,6 @@ endmenu source "Kconfig.stdlibs" - menu "Virtual Paging" config SHADOW_PAGING @@ -217,6 +215,18 @@ config DEBUG_SHDW_PG_VTLB endmenu +menu "Time Management" + +config TIME_VIRTUALIZE_TSC + bool "Virtualize guest TSC" + default n + 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. + +endmenu + menu "Symbiotic Functions" config SYMBIOTIC @@ -324,7 +334,12 @@ config DEBUG_INTERRUPTS help This turns on debugging for the interrupt system - +config DEBUG_TIME + bool "Timing" + default n + depends on DEBUG_ON + help + This turns on debugging of system time virtualization config DEBUG_IO bool "IO"