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