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
6 CONFIG_SPL_MMC_SUPPORT=y
12 CONFIG_BOOTARGS="console=ttyS4,115200 rw rootwait root=/dev/mmcblk0p1"
13 CONFIG_USE_BOOTCOMMAND=y
14 CONFIG_BOOTCOMMAND="ext4load mmc 0:1 0x88000000 /boot/uImage; bootm 0x88000000"
16 CONFIG_DISPLAY_CPUINFO=y
17 CONFIG_BOARD_EARLY_INIT_F=y
18 # CONFIG_SPL_BANNER_PRINT is not set
19 # CONFIG_TPL_BANNER_PRINT is not set
22 # CONFIG_CMD_FLASH is not set
27 # CONFIG_SPL_DOS_PARTITION is not set
28 CONFIG_DEFAULT_DEVICE_TREE="ci20"
29 CONFIG_ENV_IS_IN_MMC=y
30 # CONFIG_DM_WARN is not set
31 # CONFIG_DM_DEVICE_REMOVE is not set
34 CONFIG_MMC_BROKEN_CD=y
36 # CONFIG_MMC_HW_PARTITIONING is not set
37 CONFIG_MMC_IO_VOLTAGE=y
38 CONFIG_MMC_UHS_SUPPORT=y
39 CONFIG_MMC_HS400_SUPPORT=y
40 # CONFIG_MMC_VERBOSE is not set
45 CONFIG_USE_TINY_PRINTF=y
46 CONFIG_SPL_TINY_MEMSET=y