# Kconfig - TI CC3220SF LaunchXL board configuration
#
if BOARD_CC3220SF_LAUNCHXL
config BOARD
default cc3220sf_launchxl
endif # BOARD_CC3220SF_LAUNCHXL