X-Git-Url: http://v3vee.org/palacios/gitweb/gitweb.cgi?a=blobdiff_plain;f=Kconfig;h=8518fd8698ddaa0da89204783e95bfad87b31008;hb=bcab692b40b809c628eb365c199ffd3c757a6cc7;hp=6c11bac80eaaa2e9bc029f5f752d0583bad7f28d;hpb=b3e5aa263c35961c74e0b7ed96b8510e8c6d7d0d;p=palacios.git diff --git a/Kconfig b/Kconfig index 6c11bac..8518fd8 100644 --- a/Kconfig +++ b/Kconfig @@ -13,12 +13,11 @@ config KITTEN 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 @@ -26,6 +25,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 +75,12 @@ config VMX Compile with support for Intel VMX +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 @@ -69,6 +93,7 @@ choice config XED bool "XED decoder library" + depends on !LINUX help This uses the XED decoder library from pintools @@ -82,13 +107,6 @@ endchoice menu "Supported host OS features" -config MULTITHREAD_OS - bool "Host support for multiple threads" - default y - help - 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" @@ -105,38 +123,10 @@ config MAX_CPUS 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 "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 raw packet network API that is available to Palacios. This is required - to support the internal networking features of Palacios. - endmenu - +source "palacios/src/interfaces/Kconfig" +source "palacios/src/extensions/Kconfig" config TELEMETRY bool "Enable VMM telemetry support" @@ -171,33 +161,13 @@ 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 DEBUG_VNET - depends on EXPERIMENTAL && VNET - bool "Enable Vnet Debug in Palacios" - default n - help - Enable the Vnet debug in Palacios +config CHECKPOINT + bool "Enable Checkpointing" + default n + help + Temporary option to enable experimental checkpoint code -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 "Virtio VNET Interface Debugging" - default n - depends on LINUX_VIRTIO_VNET && DEBUG_ON - help - Enable debugging for the VNET Virtio interface endmenu @@ -240,17 +210,21 @@ config SHADOW_PAGING_CACHE1 endmenu + menu "Time Management" -config VIRTUALIZE_TIME - bool "Enable Time virtualization" +config TIME_DILATION + bool "Control Guest/Host Time Offseting" default n + depends on EXPERIMENTAL help - Enables the timer virtualization extensions - + Controls the relative speeds of the guest and host processor + to allow the VM to provide the illusion of the guest seeing time + pass at a different rate than the host system does. + config TIME_HIDE_VM_COST bool "Hide VMM Run Cost" default n - depends on VIRTUALIZE_TIME + depends on EXPERIMENTAL help Offset guest time from host time sufficiently to hide the cost of running in the virtual machine. This can aid the consistency of @@ -260,14 +234,16 @@ config TIME_HIDE_VM_COST config TIME_VIRTUALIZE_TSC bool "Fully virtualize guest TSC" default n - depends on VIRTUALIZE_TIME + depends on EXPERIMENTAL 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 @@ -309,15 +285,25 @@ menuconfig SYMMOD 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 + +menu "Debug configuration" ## Is unwind information useful @@ -398,12 +384,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" @@ -419,8 +405,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