1CONFIG_ARM=y
2CONFIG_ARCH_ZYNQMP_R5=y
3CONFIG_SYS_TEXT_BASE=0x10000000
4CONFIG_SYS_MALLOC_F_LEN=0x1000
5CONFIG_NR_DRAM_BANKS=1
6CONFIG_ENV_SIZE=0x20000
7CONFIG_DEBUG_UART_BASE=0xff010000
8CONFIG_DEBUG_UART_CLOCK=100000000
9CONFIG_DEFAULT_DEVICE_TREE="zynqmp-r5"
10CONFIG_DEBUG_UART=y
11CONFIG_BOOTSTAGE=y
12# CONFIG_DISPLAY_CPUINFO is not set
13CONFIG_SYS_PROMPT="ZynqMP r5> "
14# CONFIG_CMD_SETEXPR is not set
15CONFIG_CMD_BOOTSTAGE=y
16CONFIG_OF_EMBED=y
17CONFIG_ENV_OVERWRITE=y
18CONFIG_SYS_RELOC_GD_ENV_ADDR=y
19CONFIG_ZYNQ_SERIAL=y
20CONFIG_TIMER=y
21CONFIG_CADENCE_TTC_TIMER=y
22# CONFIG_EFI_LOADER is not set
23