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
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
+ default n
help
Enable networking support in Palacios
config TELEMETRY
bool "Enable VMM telemetry support"
- default n
+ default y
help
Enable the telemetry framework in Palacios
-----
config PASSTHROUGH_VIDEO
bool "Enable Passthrough Video"
- default y
+ default n
help
Configures Palacios to map a guest's framebuffer directly
- to the hardware framebuffer
+ to the hardware framebuffer (no longer needed)
config INSTRUMENT_VMM
bool "Enable VMM instrumentation"
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
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
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