1*f4e5516bSOtavio SalvadorCONFIG_ARM=y 2*f4e5516bSOtavio SalvadorCONFIG_ARCH_MX6=y 3*f4e5516bSOtavio SalvadorCONFIG_SYS_TEXT_BASE=0x87800000 4*f4e5516bSOtavio SalvadorCONFIG_SPL_GPIO_SUPPORT=y 5*f4e5516bSOtavio SalvadorCONFIG_SPL_LIBCOMMON_SUPPORT=y 6*f4e5516bSOtavio SalvadorCONFIG_SPL_LIBGENERIC_SUPPORT=y 7*f4e5516bSOtavio SalvadorCONFIG_TARGET_PICO_IMX6UL=y 8*f4e5516bSOtavio SalvadorCONFIG_SPL_MMC_SUPPORT=y 9*f4e5516bSOtavio SalvadorCONFIG_SPL_SERIAL_SUPPORT=y 10*f4e5516bSOtavio SalvadorCONFIG_SPL=y 11*f4e5516bSOtavio SalvadorCONFIG_SPL_LIBDISK_SUPPORT=y 12*f4e5516bSOtavio SalvadorCONFIG_DISTRO_DEFAULTS=y 13*f4e5516bSOtavio SalvadorCONFIG_NR_DRAM_BANKS=1 14*f4e5516bSOtavio SalvadorCONFIG_SYS_EXTRA_OPTIONS="IMX_CONFIG=arch/arm/mach-imx/spl_sd.cfg" 15*f4e5516bSOtavio SalvadorCONFIG_BOOTDELAY=3 16*f4e5516bSOtavio SalvadorCONFIG_BOOTCOMMAND="run findfdt; run finduuid; run distro_bootcmd" 17*f4e5516bSOtavio SalvadorCONFIG_DEFAULT_FDT_FILE="imx6ul-pico-pi.dtb" 18*f4e5516bSOtavio SalvadorCONFIG_BOARD_EARLY_INIT_F=y 19*f4e5516bSOtavio SalvadorCONFIG_SPL_I2C_SUPPORT=y 20*f4e5516bSOtavio SalvadorCONFIG_SPL_USB_HOST_SUPPORT=y 21*f4e5516bSOtavio SalvadorCONFIG_SPL_USB_GADGET_SUPPORT=y 22*f4e5516bSOtavio SalvadorCONFIG_SPL_USB_SDP_SUPPORT=y 23*f4e5516bSOtavio SalvadorCONFIG_CMD_BOOTMENU=y 24*f4e5516bSOtavio SalvadorCONFIG_CMD_MEMTEST=y 25*f4e5516bSOtavio SalvadorCONFIG_CMD_DFU=y 26*f4e5516bSOtavio Salvador# CONFIG_CMD_FLASH is not set 27*f4e5516bSOtavio SalvadorCONFIG_CMD_GPIO=y 28*f4e5516bSOtavio SalvadorCONFIG_CMD_GPT=y 29*f4e5516bSOtavio SalvadorCONFIG_CMD_MMC=y 30*f4e5516bSOtavio SalvadorCONFIG_CMD_USB=y 31*f4e5516bSOtavio SalvadorCONFIG_CMD_USB_SDP=y 32*f4e5516bSOtavio SalvadorCONFIG_CMD_USB_MASS_STORAGE=y 33*f4e5516bSOtavio SalvadorCONFIG_CMD_CACHE=y 34*f4e5516bSOtavio SalvadorCONFIG_CMD_EXT4_WRITE=y 35*f4e5516bSOtavio SalvadorCONFIG_ENV_IS_IN_MMC=y 36*f4e5516bSOtavio SalvadorCONFIG_DFU_MMC=y 37*f4e5516bSOtavio SalvadorCONFIG_USB_FUNCTION_FASTBOOT=y 38*f4e5516bSOtavio SalvadorCONFIG_FASTBOOT_BUF_SIZE=0x10000000 39*f4e5516bSOtavio SalvadorCONFIG_FASTBOOT_FLASH=y 40*f4e5516bSOtavio SalvadorCONFIG_FASTBOOT_FLASH_MMC_DEV=0 41*f4e5516bSOtavio SalvadorCONFIG_FASTBOOT_CMD_OEM_FORMAT=y 42*f4e5516bSOtavio SalvadorCONFIG_FSL_ESDHC=y 43*f4e5516bSOtavio SalvadorCONFIG_PHYLIB=y 44*f4e5516bSOtavio SalvadorCONFIG_PHY_MICREL=y 45*f4e5516bSOtavio SalvadorCONFIG_MII=y 46*f4e5516bSOtavio SalvadorCONFIG_USB=y 47*f4e5516bSOtavio SalvadorCONFIG_USB_STORAGE=y 48*f4e5516bSOtavio SalvadorCONFIG_USB_GADGET=y 49*f4e5516bSOtavio SalvadorCONFIG_USB_GADGET_MANUFACTURER="FSL" 50*f4e5516bSOtavio SalvadorCONFIG_USB_GADGET_VENDOR_NUM=0x0525 51*f4e5516bSOtavio SalvadorCONFIG_USB_GADGET_PRODUCT_NUM=0xa4a5 52*f4e5516bSOtavio SalvadorCONFIG_CI_UDC=y 53*f4e5516bSOtavio SalvadorCONFIG_OF_LIBFDT=y 54