2 CONFIG_SYS_TEXT_BASE=0x80010000
3 CONFIG_SPL_GPIO_SUPPORT=y
4 CONFIG_SPL_LIBGENERIC_SUPPORT=y
5 CONFIG_SYS_MALLOC_F_LEN=0x2000
7 CONFIG_ENV_OFFSET=0x83800
8 CONFIG_SPL_MMC_SUPPORT=y
12 CONFIG_SPL_TEXT_BASE=0xf4000a00
15 CONFIG_BOOTARGS="console=ttyS4,115200 rw rootwait root=/dev/mmcblk0p1"
16 CONFIG_USE_BOOTCOMMAND=y
17 CONFIG_BOOTCOMMAND="ext4load mmc 0:1 0x88000000 /boot/uImage; bootm 0x88000000"
19 CONFIG_DISPLAY_CPUINFO=y
20 CONFIG_BOARD_EARLY_INIT_F=y
21 # CONFIG_SPL_BANNER_PRINT is not set
29 # CONFIG_SPL_DOS_PARTITION is not set
30 CONFIG_DEFAULT_DEVICE_TREE="ci20"
31 CONFIG_ENV_IS_IN_MMC=y
32 CONFIG_SYS_RELOC_GD_ENV_ADDR=y
33 # CONFIG_DM_WARN is not set
34 # CONFIG_DM_DEVICE_REMOVE is not set
37 CONFIG_MMC_BROKEN_CD=y
39 # CONFIG_MMC_HW_PARTITIONING is not set
40 CONFIG_MMC_IO_VOLTAGE=y
41 CONFIG_MMC_UHS_SUPPORT=y
42 CONFIG_MMC_HS400_SUPPORT=y
43 # CONFIG_MMC_VERBOSE is not set
47 CONFIG_SPL_TINY_MEMSET=y