X-Git-Url: http://v3vee.org/palacios/gitweb/gitweb.cgi?a=blobdiff_plain;f=Kconfig;h=c94fcb03ec65a5aa35d8bf50fcf9ca8ea3767fe9;hb=300810f123725663d5f7ae638ff6cb93d0a89ae5;hp=adf2abfc85add4142c258134785d03f1f0da1c19;hpb=926e4e742c02e6f1255c8da243494c8bbddbf752;p=palacios.releases.git diff --git a/Kconfig b/Kconfig index adf2abf..c94fcb0 100644 --- a/Kconfig +++ b/Kconfig @@ -3,12 +3,38 @@ mainmenu "Palacios VMM Configuration" menu "Target Configuration" +choice + prompt "Target Host OS" + default KITTEN + config KITTEN - bool "Set defaults needed for the Kitten OS" - default y + bool "Kitten OS" + select BUILT_IN_STDLIB + select BUILT_IN_STRCASECMP + select BUILT_IN_ATOI + help + This enables the necesary options to compile Palacios with Kitten + +config LINUX + bool "Linux 2.6" + select BUILT_IN_STDLIB + select BUILT_IN_ATOI + 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 MINIX + bool "MINIX 3" help This enables the necesary options to compile Palacios with Kitten +config OTHER_OS + bool "Other OS" + help + Choose this to compile Palacios for a Generic Host OS + (Formerly GeekOS) + +endchoice config CRAY_XT bool "Red Storm (Cray XT3/XT4)" @@ -45,6 +71,15 @@ config MAX_CPUS For uniprocessor environments, set this to 1 +config CONSOLE + bool "Include Console Support" + default n + help + Enable console support in Palacios + + + + config SOCKET bool "Include Network Socket Support" default y @@ -73,20 +108,6 @@ config SHADOW_PAGING_TELEMETRY help Enable telemetry information for shadow paging -config SYMBIOTIC_SWAP_TELEMETRY - bool "Enable Symbiotic Swap Telemetry" - default n - depends on TELEMETRY && SYMBIOTIC_SWAP - help - Enable the telemetry information for the symbiotic swap subsystem - - -config PASSTHROUGH_VIDEO - bool "Enable Passthrough Video" - default y - help - Configures Palacios to map a guest's framebuffer directly - to the hardware framebuffer config INSTRUMENT_VMM bool "Enable VMM instrumentation" @@ -115,6 +136,34 @@ 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" + 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 + endmenu @@ -138,6 +187,14 @@ config SHADOW_PAGING_VTLB help Enables Virtual TLB implemenation for shadow paging + +config DEBUG_SHDW_PG_VTLB + bool "Enable VTLB debugging" + default n + depends on SHADOW_PAGING_VTLB + help + Enables debugging messages for VTLB implementation + endmenu @@ -147,15 +204,38 @@ config SYMBIOTIC bool "Enable Symbiotic Functionality" default n help - Enable Symbiotic components of the VMM - + Enable Symbiotic components of the VMM. + This includes the SymSpy interface. -config SYMBIOTIC_SWAP - bool "Symbiotic Swap" +config SYMCALL + bool "Symbiotic upcalls" default n depends on SYMBIOTIC && EXPERIMENTAL + help + Enables the Symbiotic upcall interface + +config SWAPBYPASS + bool "SwapBypass" + default n + depends on SYMBIOTIC && SYMCALL && EXPERIMENTAL + help + This enables the SwapBypass architecture + +config SWAPBYPASS_TELEMETRY + bool "Enable SwapBypass Telemetry" + default n + depends on TELEMETRY && SWAPBYPASS help - This enables the symbiotic swap architecture + Enable the telemetry information for the SwapBypass subsystem + +menuconfig SYMMOD + bool "Symbiotic Modules" + default n + depends on EXPERIMENTAL +# depends on SYMBIOTIC + help + Enable Symbiotic module loading + endmenu