X-Git-Url: http://v3vee.org/palacios/gitweb/gitweb.cgi?a=blobdiff_plain;f=Kconfig;h=b7f64e1a5666e4bcbd65b93d14a8c9dcbbfcc12f;hb=374b2d6d22a0e0dc6ed8d3d628e635ab935072e0;hp=c4aacfbf2c7e84b989be9bb3edc76da9861f9110;hpb=4302c7fffd55be5e719c003a3f8ff519d59e9962;p=palacios.git diff --git a/Kconfig b/Kconfig index c4aacfb..b7f64e1 100644 --- a/Kconfig +++ b/Kconfig @@ -17,8 +17,8 @@ config KITTEN 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 @@ -26,6 +26,25 @@ config LINUX 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 @@ -57,6 +76,30 @@ 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 @@ -88,19 +131,42 @@ config FILE 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 "Host Support for VM console" + bool "Host Support for VM text-mode console" default n help 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 + 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 - Select this if you host OS implements a socket API that is available to Palacios. This is required + 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 @@ -127,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" @@ -154,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 @@ -188,7 +227,6 @@ endmenu source "Kconfig.stdlibs" - menu "Virtual Paging" config SHADOW_PAGING @@ -213,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 @@ -323,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" @@ -341,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" @@ -362,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