X-Git-Url: http://v3vee.org/palacios/gitweb/gitweb.cgi?a=blobdiff_plain;f=Kconfig;h=8518fd8698ddaa0da89204783e95bfad87b31008;hb=c3e451f106e9594b46d7c3dd3c4fdd610d7a2c03;hp=3c98783b7614afe9a15ec9f08358fd519c1c222d;hpb=dc6b47d05e37e6c3738e1bc6165ec4a107717d2b;p=palacios.git diff --git a/Kconfig b/Kconfig index 3c98783..8518fd8 100644 --- a/Kconfig +++ b/Kconfig @@ -13,7 +13,6 @@ 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 @@ -76,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 @@ -102,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" @@ -163,65 +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 INSPECTOR - bool "Enable VM inspection" - depends on EXPERIMENTAL +config CHECKPOINT + bool "Enable Checkpointing" default n help - Enable inspection framework for vm internal state - -config SW_INTERRUPTS - bool "Enable interception and hooking of software interrupts" - depends on EXPERIMENTAL - default n - help - This feature will cause the VMM to intercept the execution - of software interrupts (i.e. the INTn instruction) and enable - any INT vector to be hooked + Temporary option to enable experimental checkpoint code -config SWINTR_PASSTHROUGH - bool "Hook all unhandled sofware interrupts for passthrough" - depends on SW_INTERRUPTS - default n - help - If enabled, this will cause all software interrupts - (INT instruction vectors) to be hooked for passthrough. - May reduce performance but useful for debugging. -config SYSCALL_HIJACK - bool "Enable System Call Hijacking" - depends on SW_INTERRUPTS - default n - help - Enable the VMM to hijack system calls executed by the guest. - If enabled, the VMM will hook execution of INT 80 - (support for Fast-System Calls coming soon) - -config SYSCALL_PASSTHROUGH - bool "Hook all unhandled system calls for passthrough" - depends on SYSCALL_HIJACK - default n - help - If enabled, this option will cause all system calls - that are not explicitly hooked to be hooked for - passthrough. This is useful for debugging. - -config HIJACK_SYSCALL_MSR - bool "Intercept Syscall-related MSR reads & writes" - depends on SYSCALL_HIJACK - default n - help - Allow the VMM to intercept reads and writes to MSRs - related to SYSCALL and SYSENTER instructions. Specifically, - it will intercept R/W to STAR, CSTAR, and LSTAR. endmenu @@ -266,16 +212,19 @@ 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 @@ -285,12 +234,12 @@ 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 @@ -336,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 @@ -446,21 +405,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 - -config DEBUG_SYSCALL_HIJACK - bool "Enable Syscall Hijack Debug in Palacios" - default n - depends on DEBUG_ON && SYSCALL_HIJACK - help - Enable Debugging printouts for syscall hijacking - code in Palacios - +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