# Copyright (c) 2020, Antmicro
CONFIG_SOC_XILINX_ZYNQMP_RPU=y
CONFIG_BOARD_MERCURY_XU=y

# enable uart driver
CONFIG_SERIAL=y

# enable console
CONFIG_CONSOLE=y
CONFIG_UART_CONSOLE=y

# enable timer
CONFIG_XLNX_PSTTC_TIMER=y
CONFIG_SYS_CLOCK_TICKS_PER_SEC=100