CONFIG_ARM=y
CONFIG_BOARD_CC3220SF_LAUNCHXL=y
CONFIG_SOC_FAMILY_TISIMPLELINK=y
CONFIG_SOC_SERIES_CC32XX=y
CONFIG_SOC_CC3220SF=y
CONFIG_CORTEX_M_SYSTICK=y

CONFIG_PRINTK=y

#enable GPIO driver
CONFIG_GPIO=y

# enable uart driver
CONFIG_SERIAL=y
CONFIG_SERIAL_HAS_DRIVER=y
CONFIG_UART_CC32XX=y

# enable console
CONFIG_CONSOLE=y
CONFIG_UART_CONSOLE=y

# Enable SimpleLink CC3220 SDK
CONFIG_HAS_CC3220SDK=y