X-Git-Url: http://v3vee.org/palacios/gitweb/gitweb.cgi?a=blobdiff_plain;f=Kconfig;h=c44bc12eee3105fcea11747cc9aa2d41f3039fb7;hb=cafc7daf7fdbd6c7989cac277bdaae284275e32f;hp=adf2abfc85add4142c258134785d03f1f0da1c19;hpb=926e4e742c02e6f1255c8da243494c8bbddbf752;p=palacios.git diff --git a/Kconfig b/Kconfig index adf2abf..c44bc12 100644 --- a/Kconfig +++ b/Kconfig @@ -3,12 +3,59 @@ 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 help This enables the necesary options to compile Palacios with Kitten +config LINUX_BUILTIN + bool "OLD Linux (Built in) -- to be deprecated" + 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 LINUX + bool "Linux Module" + select BUILT_IN_STDLIB + select BUILT_IN_STRDUP + select BUILT_IN_ATOI + select FILE + select V3_DECODER + help + This enables the necessary options to compile Palacios as a Linux module + + +config LINUX_KERN + depends on LINUX + string "Linux Kernel Source directory" + default "/usr/src/linux" + help + This is the directory containing the linux source for the kernel module to be built + +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,31 +75,68 @@ config VMX Compile with support for Intel VMX -config MULTITHREAD_OS - bool "Compile for a multi threaded OS" - default y - help - This allows Palacios to use OS thread mechanisms +config FRAME_POINTER + bool "Compile with Frame pointers" + default n + help + Compiles the Palacios library with Frame pointers + +config DEBUG_INFO + bool "Compile with Debug Information" + default n + help + Compiles the Palacios library with debugging symbols + +choice + prompt "X86 decoder" + default XED + +config XED + bool "XED decoder library" + depends on !LINUX + help + This uses the XED decoder library from pintools + +config V3_DECODER + bool "Internal Palacios decoder" + help + This selects the internal V3Vee x86 decoder + +config QUIX86 + bool "QUIX86 decoder" + help + This selects the QUIX86 decoder library + +config QUIX86_DEBUG + bool "QUIX86 decoder debug version" + help + This selects the QUIX86 decoder library compiled w/o optimization + and with debug info + +endchoice +menu "Supported host OS features" + + +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 +endmenu -config SOCKET - bool "Include Network Socket Support" - default y - help - Enable networking support in Palacios - - - +source "palacios/src/interfaces/Kconfig" +source "palacios/src/extensions/Kconfig" config TELEMETRY bool "Enable VMM telemetry support" @@ -73,28 +157,15 @@ config SHADOW_PAGING_TELEMETRY help Enable telemetry information for shadow paging -config SYMBIOTIC_SWAP_TELEMETRY - bool "Enable Symbiotic Swap Telemetry" - default n - depends on TELEMETRY && SYMBIOTIC_SWAP - help - Enable the telemetry information for the symbiotic swap subsystem - +config PMU_TELEMETRY + bool "Enable PMU telemetry" + default n + depends on TELEMETRY && HOST_PMU + help + Enable telemetry information for a range of PMU counters + This causes the currently configured PMU counts to be printed -config PASSTHROUGH_VIDEO - bool "Enable Passthrough Video" - default y - help - Configures Palacios to map a guest's framebuffer directly - to the hardware framebuffer -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,12 +179,26 @@ config EXPERIMENTAL The purpose of this option is to allow features under development to be committed to the mainline to more easily track changes and provide access to multiple developers -config VNET - depends on EXPERIMENTAL - bool "Enable Vnet in Palacios" - default n - help - Enable the Vnet in Palacios +config CHECKPOINT + bool "Enable Checkpointing" + default n + help + Enable checkpointing functionality (save/load VMs) + +config LIVE_MIGRATION + bool "Enable Live Migration" + depends on CHECKPOINT + default n + help + Enable live migration functionality (send/receive VMs) + +config DEBUG_CHECKPOINT + bool "Enable Checkpointing and Live Migration Debugging Output" + depends on CHECKPOINT + default n + help + Generate output from the debugging statements in checkpointing and live migration + endmenu @@ -121,7 +206,6 @@ endmenu source "Kconfig.stdlibs" - menu "Virtual Paging" config SHADOW_PAGING @@ -138,8 +222,23 @@ config SHADOW_PAGING_VTLB help Enables Virtual TLB implemenation for shadow paging -endmenu +config DEBUG_SHDW_PG_VTLB + bool "Enable VTLB debugging" + default n + depends on SHADOW_PAGING_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 "Symbiotic Functions" @@ -147,28 +246,62 @@ config SYMBIOTIC bool "Enable Symbiotic Functionality" default n help - Enable Symbiotic components of the VMM - + Enable Symbiotic components of the VMM. + This includes the SymSpy interface. -config SYMBIOTIC_SWAP - bool "Symbiotic Swap" +config SYMCALL + bool "Symbiotic upcalls" default n depends on SYMBIOTIC && EXPERIMENTAL + help + Enables the Symbiotic upcall interface + +config SWAPBYPASS + bool "SwapBypass" + default n + depends on SYMBIOTIC && SYMCALL && EXPERIMENTAL help - This enables the symbiotic swap architecture + This enables the SwapBypass architecture + +config SWAPBYPASS_TELEMETRY + bool "Enable SwapBypass Telemetry" + default n + depends on TELEMETRY && SWAPBYPASS + help + Enable the telemetry information for the SwapBypass subsystem + +menuconfig SYMMOD + bool "Symbiotic Modules" + default n + depends on EXPERIMENTAL +# depends on SYMBIOTIC + help + Enable Symbiotic module loading + endmenu +menu "VNET" +config VNET + bool "Enable Vnet in Palacios" + default n + help + Enable the Vnet in Palacios -menu "Debug configuration" +config DEBUG_VNET + depends on VNET + bool "Enable Vnet Debug in Palacios" + default n + help + Enable the Vnet debug in Palacios -config CONFIG_DEBUG_INFO - bool "Compile with Debug information" - default n - help - This adds the -g flag to the compilation flags +endmenu + +source "palacios/src/gears/Kconfig" + +menu "Debug configuration" ## Is unwind information useful @@ -179,6 +312,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 @@ -210,7 +358,19 @@ 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_SCHEDULER + bool "Scheduler" + default n + depends on DEBUG_ON + help + This turns on debugging for scheduler config DEBUG_IO bool "IO" @@ -228,12 +388,12 @@ config DEBUG_EMULATOR This turns on debugging for the Instruction Emulator -config DEBUG_XED - bool "XED" +config DEBUG_DECODER + bool "Instruction Decoder" default n depends on DEBUG_ON help - This turns on debugging for the Xed Decoder + This turns on debugging for the selected instruction decoder config DEBUG_HALT bool "Halt" @@ -242,6 +402,13 @@ config DEBUG_HALT help This turns on debugging for the halt instruction handler +config DEBUG_MWAIT + bool "MWAIT/MONITOR" + default n + depends on DEBUG_ON + help + This turns on debugging for the mwait and monitor instruction handlers + config DEBUG_DEV_MGR bool "Device Manager" default n @@ -249,8 +416,12 @@ config DEBUG_DEV_MGR help This turns on debugging for the device manager - - +config DEBUG_MEM_ERRORS + bool "Verbose memory errors" + default n + depends on DEBUG_ON + help + This turns on debugging for memory translations and lookups endmenu