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 in Palacios
+config DEBUG_VNET
+ depends on EXPERIMENTAL && VNET
+ bool "Enable Vnet Debug in Palacios"
+ 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
Enable Symbiotic components of the VMM.
This includes the SymSpy interface.
-
-
config SYMCALL
bool "Symbiotic upcalls"
default n
help
Enables the Symbiotic upcall interface
-config SYMMOD
- bool "Symbiotic Modules"
- default n
- depends on SYMBIOTIC && EXPERIMENTAL
- help
- Enable Symbiotic module loading
-
-
config SWAPBYPASS
bool "SwapBypass"
default n
help
Enable the telemetry information for the SwapBypass subsystem
+menuconfig SYMMOD
+ bool "Symbiotic Modules"
+ default n
+ depends on EXPERIMENTAL
+# depends on SYMBIOTIC
+ help
+ Enable Symbiotic module loading
+
+if SYMMOD
+
+source "modules/Kconfig"
+
+endif
+
+
endmenu