X-Git-Url: http://v3vee.org/palacios/gitweb/gitweb.cgi?a=blobdiff_plain;f=Kconfig;h=95ea8e723d1b2ddd1a4dac309c4e25bb08894314;hb=e3c4d65e4b928a889bb352bf210612ba2aa9a03f;hp=4f43d7db3abb7938c7389382750dcb4c01a01485;hpb=3373500a962dba67f09d120d7db3c2ea1d4beee2;p=palacios.releases.git diff --git a/Kconfig b/Kconfig index 4f43d7d..95ea8e7 100644 --- a/Kconfig +++ b/Kconfig @@ -3,6 +3,13 @@ mainmenu "Palacios VMM Configuration" menu "Target Configuration" +config KITTEN + bool "Set defaults needed for the Kitten OS" + default y + help + This enables the necesary options to compile Palacios with Kitten + + config CRAY_XT bool "Red Storm (Cray XT3/XT4)" help @@ -110,7 +117,7 @@ config VNET config BUILT_IN_STDLIB bool "Enable Built in versions of stdlib functions" - default n + default y if KITTEN help Not all host OSes provide link targets for stdlib functions Palacios provides internal implementations of these functions, that you can select from this list @@ -169,7 +176,7 @@ config BUILT_IN_STRCMP config BUILT_IN_STRCASECMP bool "strcasecmp()" - default n + default y if KITTEN depends on BUILT_IN_STDLIB help This enables Palacios' internal implementation of strcasecmp @@ -234,7 +241,7 @@ config BUILT_IN_STRSTR config BUILT_IN_ATOI bool "atoi()" - default n + default y if KITTEN depends on BUILT_IN_STDLIB help This enables Palacios' internal implementation of atoi @@ -293,12 +300,6 @@ config BUILT_IN_VSPRINTF help This enables Palacios' internal implementation of vsprintf -config BUILT_IN_VSNPRINTF - bool "vsnprintf()" - default n - depends on BUILT_IN_STDIO - help - This enables Palacios' internal implementation of vsnprintf config BUILT_IN_VSNRPRINTF bool "vsnrprintf()"