select BUILT_IN_STDLIB
select BUILT_IN_STRCASECMP
select BUILT_IN_ATOI
+ select ALIGNED_PG_ALLOC
+ select MULTITHREAD_OS
help
This enables the necesary options to compile Palacios with Kitten
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
Compile with support for Intel VMX
+menu "Supported host OS features"
+
config MULTITHREAD_OS
- bool "Compile for a multi threaded OS"
+ bool "Host support for multiple threads"
default y
help
- This allows Palacios to use OS thread mechanisms
+ Select this if your OS supports multiple threads of execution. This will enable features in Palacios
+ to require the creation of additional execution threads.
+config ALIGNED_PG_ALLOC
+ bool "Host support for aligned page allocations"
+ default n
+ help
+ Select this if your OS supports allocating memory pages using an alignment. This is required
+ if you want Palacios to run with large page table pages.
+
config MAX_CPUS
int "Maximum number of cpus"
range 1 255
default "16"
help
- Specifies the maximum number of hardware cpus Palacios can support
-
+ 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 "Include Console Support"
+ bool "Host Support for VM console"
default n
help
- Enable console support in Palacios
-
-
+ Select this if you want to forward a guest console interface to some host OS service
config SOCKET
- bool "Include Network Socket Support"
+ bool "Host support for Network Sockets"
default y
help
- Enable networking support in Palacios
+ 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.
+endmenu
help
Enable debugging for the VNET Virtio Device
+config LINUX_VNET_BRIDGE
+ bool "Enable VNET Bridge for Linux host"
+ default n
+ depends on PCI && EXPERIMENTAL && VNET && LINUX
+ help
+ Enable the VNET Bridge for Linux host
+
+config DEBUG_LINUX_VNET_BRIDGE
+ bool "VNET Host Linux Bridge Debug"
+ default n
+ depends on LINUX_VNET_BRIDGE && DEBUG_ON && LINUX
+ help
+ Enable debugging for the VNET Host Linux Bridge
+
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"
