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)"
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
help
Enable Symbiotic module loading
-if SYMMOD
-
-source "modules/Kconfig"
-
-endif
-
-
endmenu