CONFIG_XTENSA=y
CONFIG_XTENSA_RESET_VECTOR=n

CONFIG_BOARD_ESP32=y
CONFIG_SOC_ESP32=y

CONFIG_MAIN_STACK_SIZE=2048

CONFIG_SYS_CLOCK_HW_CYCLES_PER_SEC=40000000

CONFIG_CONSOLE=y
CONFIG_SERIAL_HAS_DRIVER=y
CONFIG_SERIAL=y
CONFIG_UART_CONSOLE=y
CONFIG_UART_ESP32=y

CONFIG_XTENSA_USE_CORE_CRT1=n

CONFIG_PINMUX=y
CONFIG_PINMUX_ESP32=y

CONFIG_GPIO=y
CONFIG_GPIO_ESP32=y

CONFIG_ENTROPY_ESP32_RNG=y

CONFIG_SW_ISR_TABLE=y
CONFIG_GEN_ISR_TABLES=y
CONFIG_GEN_IRQ_VECTOR_TABLE=n

CONFIG_I2C=y
CONFIG_I2C_ESP32=y
CONFIG_I2C_0=y
CONFIG_I2C_1=y
CONFIG_I2C_2=n
CONFIG_I2C_3=n

# FIXME: ESP32 port should support DTS.
CONFIG_HAS_DTS_I2C=n

# IRQ priorities are fixed on Xtensa, but Kconfig will ask for these
# if not set.
CONFIG_I2C_0_IRQ_PRI=1
CONFIG_I2C_1_IRQ_PRI=1