X-Git-Url: http://v3vee.org/palacios/gitweb/gitweb.cgi?a=blobdiff_plain;f=Kconfig;h=3c98783b7614afe9a15ec9f08358fd519c1c222d;hb=95183ed0c20c9280fb109b668033c42e0b8e3d22;hp=5c851cebbdd712d1e54fd3c49e77110e4d082b33;hpb=d25220596e7ceb6b06a4b715f722a47afd8b48bb;p=palacios.releases.git diff --git a/Kconfig b/Kconfig index 5c851ce..3c98783 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,40 +76,59 @@ 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 +endmenu -config CONSOLE - bool "Include Console Support" - default n - help - Enable console support in Palacios - - - - -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" @@ -109,13 +150,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 +170,58 @@ 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 + +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 + +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 @@ -170,7 +229,6 @@ endmenu source "Kconfig.stdlibs" - menu "Virtual Paging" config SHADOW_PAGING @@ -195,9 +253,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 +402,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 +425,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,7 +446,20 @@ 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 endmenu