help
Enable debugging for the VNET Virtio Device
+config LINUX_VNET_BRIDGE
+ bool "Enable VNET Bridge for Linux host"
+ default n
+ depends on PCI && EXPERIMENTAL && VNET && LINUX
+ help
+ Enable the VNET Bridge for Linux host
+
+config DEBUG_LINUX_VNET_BRIDGE
+ bool "VNET Host Linux Bridge Debug"
+ default n
+ depends on LINUX_VNET_BRIDGE && DEBUG_ON && LINUX
+ help
+ Enable debugging for the VNET Host Linux Bridge
+
endmenu
source "Kconfig.stdlibs"
-
menu "Virtual Paging"
config SHADOW_PAGING
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
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"