

choice
	prompt "Board type"
	depends on SOC_4775
	default PRODUCT_HALLEY

config PRODUCT_HALLEY
    bool "product halley"

endchoice

config PRODUCT_NAME
string
	default "halley" if PRODUCT_HALLEY


if PRODUCT_HALLEY
source "arch/mips/xburst/soc-4775/chip-m150/halley/Kconfig"
endif

