1# TI SimpleLink CC3235SF LaunchXL Board 2# Copyright (c) 2019, Texas Instruments Incorporated 3# SPDX-License-Identifier: Apache-2.0 4 5config BOARD_CC3235SF_LAUNCHXL 6 select SOC_CC3235SF 7