X-Git-Url: http://v3vee.org/palacios/gitweb/gitweb.cgi?a=blobdiff_plain;f=Kconfig;h=0eb969231eda21b3d5b2148fd386a8ddbff6554b;hb=b6ff5bb58adf267d74ccb2c1df4fbd632ee97946;hp=447826eedc998950470fdc0214983a12c3c36d4c;hpb=83790cde959d56c148be1b5f64d2e4a4414acac9;p=palacios.git diff --git a/Kconfig b/Kconfig index 447826e..0eb9692 100644 --- a/Kconfig +++ b/Kconfig @@ -3,12 +3,41 @@ mainmenu "Palacios VMM Configuration" 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)" @@ -28,29 +57,68 @@ config VMX Compile with support for Intel VMX +config DEBUG_INFO + bool "Compile with Debug Information" + default n + help + Compiles the Palacios library with debugging symbols + + +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" - default y + 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 PACKET + bool "Host support for Raw Packet Transmision" + depends on EXPERIMENTAL + default n help - Enable networking support in Palacios + 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 @@ -74,13 +142,6 @@ config SHADOW_PAGING_TELEMETRY Enable telemetry information for shadow paging -config INSTRUMENT_VMM - bool "Enable VMM instrumentation" - default n - help - Enable the instrumentation framework - -------- - This is much heavier weight than profiling config EXPERIMENTAL bool "Enable Experimental options" @@ -108,26 +169,19 @@ config DEBUG_VNET 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 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 "Virtio VNET Interface 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 interface endmenu @@ -135,7 +189,6 @@ endmenu source "Kconfig.stdlibs" - menu "Virtual Paging" config SHADOW_PAGING @@ -160,9 +213,55 @@ config DEBUG_SHDW_PG_VTLB 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_HIDE_VM_COST + bool "Hide VMM Run Cost" + default n + help + Offset guest time from host time sufficiently to hide the cost of + running in the virtual machine. This can aid the consistency of + time between multiple timers, but can cause the guest to run + slightly slower than the host. + +config TIME_HIDE_EXIT_COST + bool "Hide VMM Exit Cost" + default n + depends on TIME_HIDE_VM_COST + help + Add additional TSC offset to hide VMM exit costs from the guest. + +config TIME_EXIT_COST_ADJUST + int "Exit cost adjustment for hiding VM exits" + default 2000 + depends on TIME_HIDE_EXIT_COST + help + Amount to adjust the time to hide the exit cost of fully virtualizing + the timestamp counter. Used to hide the cost of fully virtualizing + the TSC for OSes that assume that reading the TSC is inexpensive + (e.g. Linux TSC-based timer calibration). + +config TIME_VIRTUALIZE_TSC + bool "Fully 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 @@ -201,13 +300,6 @@ menuconfig SYMMOD help Enable Symbiotic module loading -if SYMMOD - -source "modules/Kconfig" - -endif - - endmenu @@ -231,6 +323,21 @@ config DEBUG_ON 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 @@ -262,7 +369,12 @@ config DEBUG_INTERRUPTS 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"