X-Git-Url: http://v3vee.org/palacios/gitweb/gitweb.cgi?a=blobdiff_plain;f=Kconfig;h=d312c0b92796398acd911e6aa8f2d17a435de701;hb=603e4c1a451138080ded3d4e3cd3b8716741db89;hp=2a7a385faf38fca1bb345dd9eae85c2c8b056602;hpb=17c6c2cd627aec87b15ffe667d2bc319ab7cf8c7;p=palacios-OLD.git diff --git a/Kconfig b/Kconfig index 2a7a385..d312c0b 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 @@ -82,29 +125,9 @@ 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. - endmenu +source "palacios/src/interfaces/Kconfig" config TELEMETRY @@ -127,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" @@ -154,26 +170,31 @@ 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 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 +config INSPECTOR + bool "Enable VM inspection" + depends on EXPERIMENTAL + default n + help + Enable inspection framework for vm internal state + +config SYSCALL_HIJACK + bool "Enable System Call Interposition" + depends on EXPERIMENTAL + default n + help + Enable the VMM to hijack system calls executed by the guest. + If enabled, the VMM will intercept software interrupt (INT) instructions, + Fast-System Call instructions (SYSENTER, SYSCALL), and the LIDT instruction + +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 @@ -216,18 +237,37 @@ config SHADOW_PAGING_CACHE1 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 "Virtualize guest 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 @@ -358,12 +398,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" @@ -379,8 +419,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 EXPERIMENTAL && SYSCALL_HIJACK && DEBUG_ON + help + Enable Debugging printouts for syscall hijacking + code in Palacios endmenu