# Kconfig - TI CC3200 LaunchXL board configuration
#

if BOARD_CC3200_LAUNCHXL

config BOARD
	default cc3200_launchxl

config BOARD_DEPRECATED
	default "1.8"

endif # BOARD_CC3200_LAUNCHXL