1f4e5516bSOtavio SalvadorCONFIG_ARM=y
2f4e5516bSOtavio SalvadorCONFIG_ARCH_MX6=y
3f4e5516bSOtavio SalvadorCONFIG_SYS_TEXT_BASE=0x87800000
4f4e5516bSOtavio SalvadorCONFIG_SPL_GPIO_SUPPORT=y
5f4e5516bSOtavio SalvadorCONFIG_SPL_LIBCOMMON_SUPPORT=y
6f4e5516bSOtavio SalvadorCONFIG_SPL_LIBGENERIC_SUPPORT=y
7f4e5516bSOtavio SalvadorCONFIG_TARGET_PICO_IMX6UL=y
8f4e5516bSOtavio SalvadorCONFIG_SPL_MMC_SUPPORT=y
9f4e5516bSOtavio SalvadorCONFIG_SPL_SERIAL_SUPPORT=y
10f4e5516bSOtavio SalvadorCONFIG_SPL=y
11f4e5516bSOtavio SalvadorCONFIG_SPL_LIBDISK_SUPPORT=y
12f4e5516bSOtavio SalvadorCONFIG_DISTRO_DEFAULTS=y
13f4e5516bSOtavio SalvadorCONFIG_NR_DRAM_BANKS=1
14f4e5516bSOtavio SalvadorCONFIG_SYS_EXTRA_OPTIONS="IMX_CONFIG=arch/arm/mach-imx/spl_sd.cfg"
15f4e5516bSOtavio SalvadorCONFIG_BOOTDELAY=3
16f4e5516bSOtavio SalvadorCONFIG_BOOTCOMMAND="run findfdt; run finduuid; run distro_bootcmd"
17f4e5516bSOtavio SalvadorCONFIG_DEFAULT_FDT_FILE="imx6ul-pico-pi.dtb"
182acc24fcSPhilipp TomsichCONFIG_BOUNCE_BUFFER=y
19f4e5516bSOtavio SalvadorCONFIG_BOARD_EARLY_INIT_F=y
20f4e5516bSOtavio SalvadorCONFIG_SPL_USB_HOST_SUPPORT=y
21f811e976SJean-Jacques HiblotCONFIG_SPL_USB_GADGET=y
22f4e5516bSOtavio SalvadorCONFIG_SPL_USB_SDP_SUPPORT=y
23f4e5516bSOtavio SalvadorCONFIG_CMD_BOOTMENU=y
24f4e5516bSOtavio SalvadorCONFIG_CMD_MEMTEST=y
25f4e5516bSOtavio SalvadorCONFIG_CMD_DFU=y
26f4e5516bSOtavio Salvador# CONFIG_CMD_FLASH is not set
27f4e5516bSOtavio SalvadorCONFIG_CMD_GPIO=y
28f4e5516bSOtavio SalvadorCONFIG_CMD_GPT=y
29f4e5516bSOtavio SalvadorCONFIG_CMD_MMC=y
30f4e5516bSOtavio SalvadorCONFIG_CMD_USB=y
31f4e5516bSOtavio SalvadorCONFIG_CMD_USB_SDP=y
32f4e5516bSOtavio SalvadorCONFIG_CMD_USB_MASS_STORAGE=y
33f4e5516bSOtavio SalvadorCONFIG_CMD_CACHE=y
34f4e5516bSOtavio SalvadorCONFIG_CMD_EXT4_WRITE=y
351db0e414SFabio EstevamCONFIG_OF_CONTROL=y
361db0e414SFabio EstevamCONFIG_DEFAULT_DEVICE_TREE="imx6ul-pico-pi"
37f4e5516bSOtavio SalvadorCONFIG_ENV_IS_IN_MMC=y
38f4e5516bSOtavio SalvadorCONFIG_DFU_MMC=y
39f4e5516bSOtavio SalvadorCONFIG_USB_FUNCTION_FASTBOOT=y
40f4e5516bSOtavio SalvadorCONFIG_FASTBOOT_BUF_SIZE=0x10000000
41f4e5516bSOtavio SalvadorCONFIG_FASTBOOT_FLASH=y
42f4e5516bSOtavio SalvadorCONFIG_FASTBOOT_FLASH_MMC_DEV=0
43f4e5516bSOtavio SalvadorCONFIG_FASTBOOT_CMD_OEM_FORMAT=y
44cad779c0SFabio EstevamCONFIG_DM_GPIO=y
45*0a112072SFabio EstevamCONFIG_DM_I2C=y
46737d8bd8SFabio EstevamCONFIG_DM_MMC=y
47f4e5516bSOtavio SalvadorCONFIG_FSL_ESDHC=y
48f4e5516bSOtavio SalvadorCONFIG_PHYLIB=y
49f4e5516bSOtavio SalvadorCONFIG_PHY_MICREL=y
50f4e5516bSOtavio SalvadorCONFIG_MII=y
51cad779c0SFabio EstevamCONFIG_PINCTRL=y
52cad779c0SFabio EstevamCONFIG_PINCTRL_IMX6=y
53*0a112072SFabio EstevamCONFIG_DM_PMIC=y
54*0a112072SFabio EstevamCONFIG_DM_PMIC_PFUZE100=y
55*0a112072SFabio EstevamCONFIG_DM_REGULATOR=y
56*0a112072SFabio EstevamCONFIG_DM_REGULATOR_PFUZE100=y
57*0a112072SFabio EstevamCONFIG_DM_REGULATOR_FIXED=y
58*0a112072SFabio EstevamCONFIG_DM_REGULATOR_GPIO=y
59f4e5516bSOtavio SalvadorCONFIG_USB=y
60f4e5516bSOtavio SalvadorCONFIG_USB_GADGET=y
61f4e5516bSOtavio SalvadorCONFIG_USB_GADGET_MANUFACTURER="FSL"
62f4e5516bSOtavio SalvadorCONFIG_USB_GADGET_VENDOR_NUM=0x0525
63f4e5516bSOtavio SalvadorCONFIG_USB_GADGET_PRODUCT_NUM=0xa4a5
64f4e5516bSOtavio SalvadorCONFIG_CI_UDC=y
65