board/hale/tt01/Kconfig

if TARGET_TT01

config SYS_BOARD
	default "tt01"

config SYS_VENDOR
	default "hale"

config SYS_SOC
	default "mx31"

config SYS_CONFIG_NAME
	default "tt01"

endif