Enable telemetry information for shadow paging
-config PASSTHROUGH_VIDEO
- bool "Enable Passthrough Video"
- default y
- help
- Configures Palacios to map a guest's framebuffer directly
- to the hardware framebuffer
-
config INSTRUMENT_VMM
bool "Enable VMM instrumentation"
default n
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
+ depends on PCI && EXPERIMENTAL && VNET
+ help
+ Enable the Virtio VNET interface
+
+config DEBUG_LINUX_VIRTIO_VNET
+ bool "VNET Virtio Device Debugging"
+ default n
+ depends on LINUX_VIRTIO_VNET && DEBUG_ON
+ help
+ Enable debugging for the VNET Virtio Device
endmenu