1CONFIG_ARM=y
2CONFIG_ARCH_MX6=y
3CONFIG_SYS_TEXT_BASE=0x87800000
4CONFIG_SPL_GPIO_SUPPORT=y
5CONFIG_SPL_LIBCOMMON_SUPPORT=y
6CONFIG_SPL_LIBGENERIC_SUPPORT=y
7CONFIG_TARGET_PICO_IMX6UL=y
8CONFIG_SPL_MMC_SUPPORT=y
9CONFIG_SPL_SERIAL_SUPPORT=y
10CONFIG_SPL=y
11CONFIG_SPL_LIBDISK_SUPPORT=y
12CONFIG_DISTRO_DEFAULTS=y
13CONFIG_NR_DRAM_BANKS=1
14CONFIG_SYS_EXTRA_OPTIONS="IMX_CONFIG=arch/arm/mach-imx/spl_sd.cfg"
15CONFIG_BOOTDELAY=3
16CONFIG_BOOTCOMMAND="run findfdt; run finduuid; run distro_bootcmd"
17CONFIG_DEFAULT_FDT_FILE="ask"
18CONFIG_BOARD_EARLY_INIT_F=y
19CONFIG_SPL_I2C_SUPPORT=y
20CONFIG_SPL_USB_HOST_SUPPORT=y
21CONFIG_SPL_USB_GADGET_SUPPORT=y
22CONFIG_SPL_USB_SDP_SUPPORT=y
23CONFIG_CMD_BOOTMENU=y
24CONFIG_CMD_SPL=y
25CONFIG_CMD_SPL_WRITE_SIZE=0x20000
26CONFIG_CMD_MEMTEST=y
27CONFIG_CMD_DFU=y
28# CONFIG_CMD_FLASH is not set
29CONFIG_CMD_GPIO=y
30CONFIG_CMD_GPT=y
31CONFIG_CMD_MMC=y
32CONFIG_CMD_USB=y
33CONFIG_CMD_USB_SDP=y
34CONFIG_CMD_USB_MASS_STORAGE=y
35CONFIG_CMD_CACHE=y
36CONFIG_CMD_EXT4_WRITE=y
37CONFIG_ENV_IS_IN_MMC=y
38CONFIG_DFU_MMC=y
39CONFIG_USB_FUNCTION_FASTBOOT=y
40CONFIG_FASTBOOT_BUF_SIZE=0x10000000
41CONFIG_FASTBOOT_FLASH=y
42CONFIG_FASTBOOT_FLASH_MMC_DEV=0
43CONFIG_FASTBOOT_CMD_OEM_FORMAT=y
44CONFIG_FSL_ESDHC=y
45CONFIG_PHYLIB=y
46CONFIG_PHY_MICREL=y
47CONFIG_MII=y
48CONFIG_USB=y
49CONFIG_USB_STORAGE=y
50CONFIG_USB_GADGET=y
51CONFIG_USB_GADGET_MANUFACTURER="FSL"
52CONFIG_USB_GADGET_VENDOR_NUM=0x0525
53CONFIG_USB_GADGET_PRODUCT_NUM=0xa4a5
54CONFIG_CI_UDC=y
55CONFIG_OF_LIBFDT=y
56