arch/arm/mach-ks8695/Kconfig

if ARCH_KS8695

menu "Kendin/Micrel KS8695 Implementations"

config MACH_KS8695
	bool "KS8695 development board"
	help
	  Say 'Y' here if you want your kernel to run on the original
	  Kendin-Micrel KS8695 development board.

endmenu

endif