arch/arm/mach-tcc8k/Kconfig

if ARCH_TCC8K

comment "TCC8000 systems:"

config MACH_TCC8000_SDK
	bool "Telechips TCC8000-SDK development kit"
	default y
	help
	  Support for the Telechips TCC8000-SDK board.

endif