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