# SPDX-License-Identifier: Apache-2.0

CONFIG_BOARD_CC3235SF_LAUNCHXL=y
CONFIG_SOC_SERIES_CC32XX=y
CONFIG_SOC_CC3235SF=y
CONFIG_BUILD_OUTPUT_HEX=y
CONFIG_CORTEX_M_SYSTICK=y

CONFIG_PRINTK=y

#enable GPIO driver
CONFIG_GPIO=y

# enable uart driver
CONFIG_SERIAL=y
CONFIG_UART_CC32XX=y

# enable console
CONFIG_CONSOLE=y
CONFIG_UART_CONSOLE=y