2 CONFIG_SYS_MALLOC_LEN=0xe00000
4 CONFIG_HAS_CUSTOM_SYS_INIT_SP_ADDR=y
5 CONFIG_CUSTOM_SYS_INIT_SP_ADDR=0x81200000
6 CONFIG_ENV_SIZE=0x20000
7 CONFIG_DEFAULT_DEVICE_TREE="xilinx-mbv32"
8 CONFIG_SPL_STACK=0x80200000
9 CONFIG_SPL_BSS_START_ADDR=0x84000000
10 CONFIG_SPL_BSS_MAX_SIZE=0x80000
11 CONFIG_SYS_LOAD_ADDR=0x80200000
12 CONFIG_SPL_SIZE_LIMIT=0x40000
14 CONFIG_DEBUG_UART_BASE=0x40600000
15 CONFIG_DEBUG_UART_CLOCK=100000000
16 CONFIG_SYS_CLK_FREQ=100000000
17 CONFIG_BOOT_SCRIPT_OFFSET=0x0
19 CONFIG_TARGET_XILINX_MBV=y
20 # CONFIG_SPL_SMP is not set
23 CONFIG_SPL_LOAD_FIT_ADDRESS=0x80200000
24 CONFIG_DISTRO_DEFAULTS=y
25 CONFIG_DISPLAY_CPUINFO=y
26 CONFIG_DISPLAY_BOARDINFO=y
27 # CONFIG_BOARD_LATE_INIT is not set
28 CONFIG_SPL_MAX_SIZE=0x40000
29 # CONFIG_SPL_SHARES_INIT_SP_ADDR is not set
30 CONFIG_SPL_SYS_MALLOC=y
31 CONFIG_SPL_SYS_MALLOC_SIZE=0x800000
32 # CONFIG_CMD_MII is not set
34 CONFIG_SYS_RELOC_GD_ENV_ADDR=y
35 CONFIG_SPL_DM_SEQ_ALIAS=y
37 CONFIG_DEBUG_UART_ANNOUNCE=y
38 CONFIG_DEBUG_UART_SKIP_INIT=y
39 CONFIG_XILINX_UARTLITE=y
41 # CONFIG_BINMAN_FDT is not set