# Copyright (c) 2020, Antmicro | |
CONFIG_SOC_XILINX_ZYNQMP_RPU=y | |
CONFIG_BOARD_MERCURY_XU=y | |
# enable uart driver | |
CONFIG_SERIAL=y | |
CONFIG_UART_XLNX_PS=y | |
# enable console | |
CONFIG_CONSOLE=y | |
CONFIG_UART_CONSOLE=y | |
# enable timer | |
CONFIG_XLNX_PSTTC_TIMER=y | |
CONFIG_SYS_CLOCK_TICKS_PER_SEC=100 |