# Kconfig - TI CC3200 LaunchXL configuration
#
if BOARD_CC3200_LAUNCHXL
endif # BOARD_CC3200_LAUNCHXL