2 CONFIG_SKIP_LOWLEVEL_INIT=y
3 CONFIG_SYS_TEXT_BASE=0x80010000
5 CONFIG_SPL_LIBGENERIC_SUPPORT=y
6 CONFIG_SYS_MALLOC_F_LEN=0x2000
9 CONFIG_ENV_OFFSET=0x83800
10 CONFIG_SYS_MALLOC_LEN=0x4000000
11 CONFIG_DEFAULT_DEVICE_TREE="ci20"
12 CONFIG_SPL_TEXT_BASE=0xf4000a00
16 CONFIG_SYS_LOAD_ADDR=0x81000000
19 CONFIG_BOOTARGS="console=ttyS4,115200 rw rootwait root=/dev/mmcblk0p1"
20 CONFIG_USE_BOOTCOMMAND=y
21 CONFIG_BOOTCOMMAND="ext4load mmc 0:1 0x88000000 /boot/uImage; bootm 0x88000000"
22 CONFIG_DISPLAY_CPUINFO=y
23 CONFIG_BOARD_EARLY_INIT_F=y
25 # CONFIG_SPL_BANNER_PRINT is not set
33 # CONFIG_SPL_DOS_PARTITION is not set
34 CONFIG_ENV_OVERWRITE=y
35 CONFIG_ENV_IS_IN_MMC=y
36 CONFIG_SYS_RELOC_GD_ENV_ADDR=y
37 # CONFIG_DM_WARN is not set
38 # CONFIG_DM_DEVICE_REMOVE is not set
41 CONFIG_MMC_BROKEN_CD=y
42 # CONFIG_MMC_HW_PARTITIONING is not set
43 CONFIG_MMC_IO_VOLTAGE=y
44 CONFIG_MMC_UHS_SUPPORT=y
45 CONFIG_MMC_HS400_SUPPORT=y
46 # CONFIG_MMC_VERBOSE is not set
50 CONFIG_SPL_TINY_MEMSET=y