X-Git-Url: http://v3vee.org/palacios/gitweb/gitweb.cgi?a=blobdiff_plain;f=Kconfig;h=acf7ebf45082b9b81f2dd54e0b653e2907cc09ee;hb=840d15c3a300636e758fcfcf403ae415ffa67816;hp=8b94c4d5238531d5635e8babbedead102f4e8c85;hpb=47442ee747e733aa5a1e215268b579cc8ebcad58;p=palacios-OLD.git diff --git a/Kconfig b/Kconfig index 8b94c4d..acf7ebf 100644 --- a/Kconfig +++ b/Kconfig @@ -30,6 +30,7 @@ config LINUX_BUILTIN config LINUX bool "Linux Module" select BUILT_IN_STDLIB + select BUILT_IN_STRDUP select BUILT_IN_ATOI select FILE select V3_DECODER @@ -124,38 +125,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" @@ -190,33 +163,14 @@ 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 LINUX_VIRTIO_VNET - bool "Enable Virtio VNET interface" - default n - depends on PCI && EXPERIMENTAL && VNET - help - Enable the Virtio VNET interface +config INSPECTOR + bool "Enable VM inspection" + depends on EXPERIMENTAL + default n + help + Enable inspection framework for vm internal state -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 @@ -259,6 +213,7 @@ config SHADOW_PAGING_CACHE1 endmenu + menu "Time Management" config VIRTUALIZE_TIME bool "Enable Time virtualization" @@ -287,6 +242,8 @@ config TIME_VIRTUALIZE_TSC endmenu + + menu "Symbiotic Functions" config SYMBIOTIC @@ -328,7 +285,23 @@ menuconfig SYMMOD endmenu +menu "VNET" + +config VNET + bool "Enable Vnet in Palacios" + default n + help + Enable the Vnet in Palacios + +config DEBUG_VNET + depends on VNET + bool "Enable Vnet Debug in Palacios" + default n + help + Enable the Vnet debug in Palacios + +endmenu menu "Debug configuration" @@ -417,12 +390,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" @@ -439,6 +412,13 @@ config DEBUG_DEV_MGR This turns on debugging for the device manager +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