bool "Linux 2.6"
select BUILT_IN_STDLIB
select BUILT_IN_ATOI
+ select FILE
help
This enables the necessary options to compile Palacios with Linux 2.6
Currently, this is in development, and only 2.6.32 is verified to work
Specifies the maximum number of hardware CPUs supported by the OS
For uniprocessor environments, set this to 1
+config FILE
+ bool "Host Support for file operations"
+ default n
+ help
+ Select this if your host OS supports file operatoins and you want Palacios to be able to use them.
+
config CONSOLE
bool "Host Support for VM console"
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
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"