help
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
+ Select this if you host OS implements a socket API that is available to Palacios. This is required
+ to support the internal networking features of Palacios.
-config SOCKET
- bool "Host support for Network Sockets"
- default y
+config PACKET
+ bool "Host support for Raw Packet Transmision"
+ depends on EXPERIMENTAL
+ default n
help
- Select this if you host OS implements a socket API that is available to Palacios. This is required
+ Select this if you host OS implements a raw packet network API that is available to Palacios. This is required
to support the internal networking features of Palacios.
endmenu
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
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