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
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
help
Enables debugging messages for VTLB implementation
+config SHADOW_PAGING_CACHE1
+ bool "Shadow Page Cache (1)"
+ default y
+ depends on SHADOW_PAGING
+ help
+ Enables caching implemenation for 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 slightly slower
- than real time.
-
-config TIME_VIRTUAL_TSC_CONTROL
- bool "Adjust virtual TSC towards real time when possible"
- default y
- depends on TIME_VIRTUALIZE_TSC
- help
- Enables control of TSC virtualization so that the TSC
- attempts to catch up with real time when possible
-
-config TIME_MASK_OVERHEAD
- bool "Hide virtualization overhead from guest timing"
- default n
- depends on TIME_VIRTUALIZE_TSC
- help
- Try to mask the overhead of virtualization from guests
- by not including it in the time updates. Can dramatically
- slow virtual time compared to real time if VIRTUAL_TSC_CONTROL
- is not enabled.
+ but also potentially making guest time run slower than real time.
endmenu
