| # 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 |