if ARCH_FEROCEON_KW2

choice
	prompt "Feroceon-KW2 SoC type"
	default MV88F6500

config  MV88F6500
	bool "88F6510/88F6530/88F6550/88F6560/ SoC"
	---help---
	Choosing this option will generate a linux kernel for the 88F6510/88F6530/88F6550/88F6560/ SoC

endchoice

endif