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_TEXT_BASE=0xf4000a00
19 # CONFIG_SPL_BANNER_PRINT is not set
20 # CONFIG_TPL_BANNER_PRINT is not set
23 # CONFIG_CMD_FLASH is not set
28 # CONFIG_SPL_DOS_PARTITION is not set
29 CONFIG_DEFAULT_DEVICE_TREE="ci20"
30 CONFIG_ENV_IS_IN_MMC=y
31 # CONFIG_DM_WARN is not set
32 # CONFIG_DM_DEVICE_REMOVE is not set
35 CONFIG_MMC_BROKEN_CD=y
37 # CONFIG_MMC_HW_PARTITIONING is not set
38 CONFIG_MMC_IO_VOLTAGE=y
39 CONFIG_MMC_UHS_SUPPORT=y
40 CONFIG_MMC_HS400_SUPPORT=y
41 # CONFIG_MMC_VERBOSE is not set
46 CONFIG_USE_TINY_PRINTF=y
47 CONFIG_SPL_TINY_MEMSET=y