1CONFIG_ARM=y 2CONFIG_ARCH_ZYNQMP_R5=y 3CONFIG_SYS_TEXT_BASE=0x10000000 4CONFIG_DEBUG_UART_BASE=0xff010000 5CONFIG_DEBUG_UART_CLOCK=100000000 6CONFIG_DEFAULT_DEVICE_TREE="zynqmp-r5" 7CONFIG_DEBUG_UART=y 8CONFIG_BOOTSTAGE=y 9# CONFIG_DISPLAY_CPUINFO is not set 10CONFIG_SYS_PROMPT="ZynqMP r5> " 11# CONFIG_CMD_FLASH is not set 12# CONFIG_CMD_SETEXPR is not set 13CONFIG_CMD_BOOTSTAGE=y 14CONFIG_OF_EMBED=y 15CONFIG_DEBUG_UART_ZYNQ=y 16CONFIG_ZYNQ_SERIAL=y 17CONFIG_TIMER=y 18CONFIG_CADENCE_TTC_TIMER=y 19