help
Enable the Vnet debug in Palacios
-config VNET_PROFILE
- depends on EXPERIMENTAL && VNET
- bool "Enable Vnet Profiling in Palacios"
- default n
- help
- Enable the Vnet performance profiling in Palacios
-
config LINUX_VIRTIO_VNET
bool "Enable Virtio VNET interface"
default n
Enable the Virtio VNET interface
config DEBUG_LINUX_VIRTIO_VNET
- bool "VNET Virtio Device Debugging"
+ bool "Virtio VNET Interface Debugging"
default n
depends on LINUX_VIRTIO_VNET && DEBUG_ON
help
- Enable debugging for the VNET Virtio Device
+ Enable debugging for the VNET Virtio interface
endmenu
source "Kconfig.stdlibs"
-
menu "Virtual Paging"
config SHADOW_PAGING
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 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"