# SPDX-License-Identifier: Apache-2.0

# General options

CONFIG_SYS_CLOCK_HW_CYCLES_PER_SEC=48000000
CONFIG_BOOTLOADER_SRAM_SIZE=0
CONFIG_XIP=y
CONFIG_PRINTK=y

# Platform-specific options

CONFIG_ARM=y
CONFIG_CORTEX_M_SYSTICK=y
CONFIG_BOARD_CC2650_SENSORTAG=y
CONFIG_SOC_FAMILY_TISIMPLELINK=y
CONFIG_SOC_SERIES_CC2650=y
CONFIG_SOC_CC2650=y

# Pinmux driver
CONFIG_PINMUX=y
CONFIG_PINMUX_CC2650=y

# GPIO driver
CONFIG_GPIO=y
CONFIG_GPIO_CC2650=y
CONFIG_GPIO_CC2650_INIT_PRIO=0

# UART driver
CONFIG_SERIAL=y
CONFIG_SERIAL_HAS_DRIVER=y
CONFIG_UART_STELLARIS=y
CONFIG_UART_STELLARIS_PORT_0=y

# Console driver
CONFIG_CONSOLE=y
CONFIG_UART_CONSOLE=y

# Random number generator driver
CONFIG_ENTROPY_GENERATOR=y