CONFIG_ARM=y
CONFIG_BOARD_CC3200_LAUNCHXL=y
CONFIG_SOC_FAMILY_TISIMPLELINK=y
CONFIG_SOC_SERIES_CC32XX=y
CONFIG_SOC_CC3200=y
CONFIG_CORTEX_M_SYSTICK=y
CONFIG_FLASH=n
CONFIG_FLASH_BASE_ADDRESS=0x00000000
CONFIG_XIP=n
CONFIG_PRINTK=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 CC3200 SDK driver files
CONFIG_CC3200SDK_BUILTIN=y