#
# For a description of the syntax of this configuration file,
# see docs/misc/kconfig-language.txt
#
mainmenu "Xen/$SRCARCH $XEN_FULLVERSION Configuration"

config SRCARCH
	string
	option env="SRCARCH"

config ARCH
	string
	option env="ARCH"

source "arch/$SRCARCH/Kconfig"

config XEN_FULLVERSION
	string
	option env="XEN_FULLVERSION"

config DEFCONFIG_LIST
	string
	option defconfig_list
	default "$ARCH_DEFCONFIG"

config EXPERT
	string
	option env="XEN_CONFIG_EXPERT"

source "Kconfig.debug"
