X-Git-Url: http://v3vee.org/palacios/gitweb/gitweb.cgi?a=blobdiff_plain;f=Kconfig;h=b7f64e1a5666e4bcbd65b93d14a8c9dcbbfcc12f;hb=374b2d6d22a0e0dc6ed8d3d628e635ab935072e0;hp=5c851cebbdd712d1e54fd3c49e77110e4d082b33;hpb=d25220596e7ceb6b06a4b715f722a47afd8b48bb;p=palacios.git diff --git a/Kconfig b/Kconfig index 5c851ce..b7f64e1 100644 --- a/Kconfig +++ b/Kconfig @@ -12,17 +12,39 @@ config KITTEN 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" +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 @@ -54,38 +76,100 @@ 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 + +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 + + +endchoice + +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 KEYED_STREAMS + bool "Host support for keyed streams" + default n + help + Select this if your host OS supports keyed streams + Palacios Checkpoint/Restore and Migration depends on this feature config CONSOLE - bool "Include Console Support" + bool "Host Support for VM text-mode 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 + This is for a TEXT MODE console. Select the framebuffer console for graphics and text +config GRAPHICS_CONSOLE + bool "Host Support for VM graphics and text-mode console based on a frame buffer" + default n + help + Select this if you want to forward a guest graphics-mode (and text-mode) console + interface to some host OS service. This is for a GRAPHICS console based on a shared frame buffer. + Text mode output is RENDERED onto the framebuffer +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 "Include Network Socket Support" - default y +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 @@ -109,13 +193,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" @@ -136,33 +213,13 @@ config VNET help Enable the Vnet in Palacios -config DEBUG_VNET - depends on EXPERIMENTAL && VNET - bool "Enable Vnet Debug in Palacios" - default n - help - Enable the Vnet debug in Palacios -config VNET_PROFILE - depends on EXPERIMENTAL && VNET - bool "Enable Vnet Profiling in Palacios" +config INSPECTOR + bool "Enable VM inspection" + depends on EXPERIMENTAL default n - help - Enable the Vnet performance profiling in Palacios - -config LINUX_VIRTIO_VNET - bool "Enable Virtio VNET interface" - default n - depends on PCI && EXPERIMENTAL && VNET - help - Enable the Virtio VNET interface - -config DEBUG_LINUX_VIRTIO_VNET - bool "VNET Virtio Device Debugging" - default n - depends on LINUX_VIRTIO_VNET && DEBUG_ON - help - Enable debugging for the VNET Virtio Device + help + Enable inspection framework for vm internal state endmenu @@ -170,7 +227,6 @@ endmenu source "Kconfig.stdlibs" - menu "Virtual Paging" config SHADOW_PAGING @@ -195,9 +251,48 @@ 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 VIRTUALIZE_TIME + bool "Enable Time virtualization" + default n + help + Enables the timer virtualization extensions + +config TIME_HIDE_VM_COST + bool "Hide VMM Run Cost" + default n + depends on VIRTUALIZE_TIME + 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 + a good bit slower than the host in VM-intensive parts of the code. + +config TIME_VIRTUALIZE_TSC + bool "Fully virtualize guest TSC" + default n + depends on VIRTUALIZE_TIME + 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 @@ -305,7 +400,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" @@ -323,12 +423,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" @@ -344,8 +444,12 @@ config DEBUG_DEV_MGR help This turns on debugging for the device manager - - +config DEBUG_VNET + depends on EXPERIMENTAL && VNET + bool "Enable Vnet Debug in Palacios" + default n + help + Enable the Vnet debug in Palacios endmenu