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 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 "Virtio VNET Interface Debugging"
- default n
- depends on LINUX_VIRTIO_VNET && DEBUG_ON
- help
- Enable debugging for the VNET Virtio interface
+config INSPECTOR
+ bool "Enable VM inspection"
+ depends on EXPERIMENTAL
+ default n
+ help
+ Enable inspection framework for vm internal state
endmenu
endmenu
+
menu "Time Management"
config VIRTUALIZE_TIME
bool "Enable Time virtualization"
endmenu
+
+
menu "Symbiotic Functions"
config SYMBIOTIC
This turns on debugging for the Instruction Emulator
-config DEBUG_XED
- bool "XED"
+config DEBUG_DECODER
+ bool "Instruction Decoder"
default n
depends on DEBUG_ON
help
- This turns on debugging for the Xed Decoder
+ This turns on debugging for the selected instruction decoder
config DEBUG_HALT
bool "Halt"
help
This turns on debugging for the device manager
-
-
+config DEBUG_VNET
+ depends on EXPERIMENTAL && VNET
+ bool "Enable Vnet Debug in Palacios"
+ default n
+ help
+ Enable the Vnet debug in Palacios
endmenu