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