menu "Target Configuration"
+choice
+ prompt "Target Host OS"
+ default KITTEN
+
config KITTEN
- bool "Set defaults needed for the Kitten OS"
- default y
+ bool "Kitten OS"
+ 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
+config LINUX
+ 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
+
+config MINIX
+ bool "MINIX 3"
+ help
+ This enables the necesary options to compile Palacios with Kitten
+
+config OTHER_OS
+ bool "Other OS"
+ help
+ Choose this to compile Palacios for a Generic Host OS
+ (Formerly GeekOS)
+
+endchoice
config CRAY_XT
bool "Red Storm (Cray XT3/XT4)"
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 "Host Support for VM console"
+ default n
+ help
+ 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 the Vnet performance profiling in Palacios
-config VNET_BRG
- bool "Enable VNET Bridge"
+config LINUX_VIRTIO_VNET
+ bool "Enable Virtio VNET interface"
default n
depends on PCI && EXPERIMENTAL && VNET
help
- Enable the VNET Bridge device
+ Enable the Virtio VNET interface
-config DEBUG_VNET_BRG
- bool "VNET Bridge Debugging"
+config DEBUG_LINUX_VIRTIO_VNET
+ bool "VNET Virtio Device Debugging"
default n
- depends on VNET_BRG && DEBUG_ON
+ depends on LINUX_VIRTIO_VNET && DEBUG_ON
help
- Enable debugging for the VNET Bridge Device
+ Enable debugging for the VNET Virtio Device
endmenu
help
Enable Symbiotic module loading
-if SYMMOD
-
-source "modules/Kconfig"
-
-endif
-
-
endmenu
This turns on debugging support
+config DEBUG_SVM
+ bool "AMD SVM"
+ default n
+ depends on DEBUG_ON
+ help
+ This turns on debugging for the AMD SVM-specific code
+
+config DEBUG_VMX
+ bool "Intel VT"
+ default n
+ depends on DEBUG_ON
+ help
+ This turns on debugging for the Intel VT-specific code
+
+
config DEBUG_SHADOW_PAGING
bool "Shadow paging"
default n