# 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