3 CONFIG_SYS_TEXT_BASE=0x87800000
4 CONFIG_SPL_GPIO_SUPPORT=y
5 CONFIG_SPL_LIBCOMMON_SUPPORT=y
6 CONFIG_SPL_LIBGENERIC_SUPPORT=y
7 CONFIG_TARGET_PICO_IMX6UL=y
8 CONFIG_SPL_MMC_SUPPORT=y
9 CONFIG_SPL_SERIAL_SUPPORT=y
11 CONFIG_SPL_LIBDISK_SUPPORT=y
12 CONFIG_DISTRO_DEFAULTS=y
13 CONFIG_NR_DRAM_BANKS=1
14 CONFIG_SYS_EXTRA_OPTIONS="IMX_CONFIG=arch/arm/mach-imx/spl_sd.cfg"
16 CONFIG_BOOTCOMMAND="run findfdt; run finduuid; run distro_bootcmd"
17 CONFIG_DEFAULT_FDT_FILE="ask"
18 CONFIG_BOARD_EARLY_INIT_F=y
19 CONFIG_SPL_I2C_SUPPORT=y
20 CONFIG_SPL_USB_HOST_SUPPORT=y
21 CONFIG_SPL_USB_GADGET_SUPPORT=y
22 CONFIG_SPL_USB_SDP_SUPPORT=y
26 # CONFIG_CMD_FLASH is not set
32 CONFIG_CMD_USB_MASS_STORAGE=y
34 CONFIG_CMD_EXT4_WRITE=y
35 CONFIG_ENV_IS_IN_MMC=y
37 CONFIG_USB_FUNCTION_FASTBOOT=y
38 CONFIG_FASTBOOT_BUF_SIZE=0x10000000
39 CONFIG_FASTBOOT_FLASH=y
40 CONFIG_FASTBOOT_FLASH_MMC_DEV=0
41 CONFIG_FASTBOOT_CMD_OEM_FORMAT=y
49 CONFIG_USB_GADGET_MANUFACTURER="FSL"
50 CONFIG_USB_GADGET_VENDOR_NUM=0x0525
51 CONFIG_USB_GADGET_PRODUCT_NUM=0xa4a5