more configuration fixes

[palacios.git] / Kconfig

diff --git a/Kconfig b/Kconfig
index 254c64f..dd5a154 100644 (file)
--- a/Kconfig
+++ b/Kconfig
@@ -90,7 +90,6 @@ config BUILT_IN_STRNLEN
          This enables Palacios' internal implementation of strnlen
 
 
-
 config BUILT_IN_STRCMP
        bool "strcmp()"
        default n
@@ -170,6 +169,43 @@ config BUILT_IN_STRPBRK
          This enables Palacios' internal implementation of strpbrk
 
 
+config BUILT_IN_SPRINTF
+       bool "sprintf()"
+       default n
+       depends on BUILT_IN_STDLIB
+       help 
+         This enables Palacios' internal implementation of sprintf
+
+
+config BUILT_IN_SNPRINTF
+       bool "snprintf()"
+       default n
+       depends on BUILT_IN_STDLIB
+       help 
+         This enables Palacios' internal implementation of snprintf
+
+
+config BUILT_IN_VSPRINTF
+       bool "vsprintf()"
+       default n
+       depends on BUILT_IN_STDLIB
+       help 
+         This enables Palacios' internal implementation of vsprintf
+
+config BUILT_IN_VSNPRINTF
+       bool "vsnprintf()"
+       default n
+       depends on BUILT_IN_STDLIB
+       help 
+         This enables Palacios' internal implementation of vsnprintf
+
+config BUILT_IN_VSNRPRINTF
+       bool "vsnrprintf()"
+       default n
+       depends on BUILT_IN_STDLIB
+       help 
+         This enables Palacios' internal implementation of vsnrprintf
+
 endmenu
 
 
@@ -184,6 +220,13 @@ config SYMBIOTIC
          Enable Symbiotic components of the VMM
 
 
+config SYMBIOTIC_SWAP
+       bool "Symbiotic Swap"
+       default n
+       depends on SYMBIOTIC
+       help 
+         This enables the symbiotic swap architecture
+
 endmenu