| CONFIG_ARM=y |
| CONFIG_ARCH_MX7=y |
| CONFIG_SYS_MALLOC_LEN=0x2000000 |
| CONFIG_SPL_GPIO=y |
| CONFIG_SPL_LIBCOMMON_SUPPORT=y |
| CONFIG_SPL_LIBGENERIC_SUPPORT=y |
| CONFIG_ENV_SIZE=0x2000 |
| CONFIG_ENV_OFFSET=0xC0000 |
| CONFIG_DM_GPIO=y |
| CONFIG_DEFAULT_DEVICE_TREE="imx7d-pico-pi" |
| CONFIG_TARGET_PICO_IMX7D=y |
| CONFIG_OF_LIBFDT_OVERLAY=y |
| CONFIG_SPL_MMC=y |
| CONFIG_SPL_SERIAL=y |
| CONFIG_SPL=y |
| CONFIG_ARMV7_BOOT_SEC_DEFAULT=y |
| CONFIG_SYS_MEMTEST_START=0x80000000 |
| CONFIG_SYS_MEMTEST_END=0xa0000000 |
| CONFIG_HAS_BOARD_SIZE_LIMIT=y |
| CONFIG_BOARD_SIZE_LIMIT=715776 |
| CONFIG_SYS_MONITOR_LEN=409600 |
| CONFIG_FIT=y |
| CONFIG_FIT_SIGNATURE=y |
| CONFIG_FIT_VERBOSE=y |
| CONFIG_USE_BOOTCOMMAND=y |
| CONFIG_BOOTCOMMAND="run distro_bootcmd" |
| CONFIG_SPL_MAX_SIZE=0xe000 |
| CONFIG_SPL_HAS_BSS_LINKER_SECTION=y |
| CONFIG_SPL_BSS_MAX_SIZE=0x100000 |
| CONFIG_SYS_SPL_MALLOC=y |
| CONFIG_HUSH_PARSER=y |
| CONFIG_SYS_MAXARGS=32 |
| CONFIG_SYS_PBSIZE=532 |
| # CONFIG_CMD_BOOTD is not set |
| CONFIG_CMD_BOOTZ=y |
| CONFIG_CMD_SPL=y |
| CONFIG_CMD_SPL_WRITE_SIZE=0x20000 |
| CONFIG_CMD_MEMTEST=y |
| CONFIG_CMD_DFU=y |
| CONFIG_CMD_GPIO=y |
| CONFIG_CMD_GPT=y |
| CONFIG_CMD_I2C=y |
| CONFIG_CMD_MMC=y |
| CONFIG_CMD_USB=y |
| CONFIG_CMD_USB_SDP=y |
| CONFIG_CMD_USB_MASS_STORAGE=y |
| CONFIG_CMD_DHCP=y |
| CONFIG_CMD_PXE=y |
| CONFIG_CMD_BMP=y |
| CONFIG_CMD_CACHE=y |
| CONFIG_CMD_FAT=y |
| CONFIG_CMD_FS_GENERIC=y |
| CONFIG_OF_CONTROL=y |
| CONFIG_ENV_OVERWRITE=y |
| CONFIG_SYS_RELOC_GD_ENV_ADDR=y |
| CONFIG_NET_RANDOM_ETHADDR=y |
| CONFIG_BOUNCE_BUFFER=y |
| CONFIG_DFU_MMC=y |
| CONFIG_DM_I2C=y |
| CONFIG_SYS_I2C_MXC=y |
| CONFIG_FSL_USDHC=y |
| CONFIG_MTD=y |
| CONFIG_PHYLIB=y |
| CONFIG_PHY_ATHEROS=y |
| CONFIG_DM_MDIO=y |
| CONFIG_FEC_MXC=y |
| CONFIG_RGMII=y |
| CONFIG_MII=y |
| CONFIG_PINCTRL=y |
| CONFIG_DM_PMIC=y |
| CONFIG_DM_PMIC_PFUZE100=y |
| CONFIG_CONS_INDEX=4 |
| CONFIG_DM_SERIAL=y |
| CONFIG_MXC_UART=y |
| CONFIG_IMX_THERMAL=y |
| CONFIG_USB=y |
| CONFIG_SPL_USB_HOST=y |
| CONFIG_USB_EHCI_HCD=y |
| CONFIG_MXC_USB_OTG_HACTIVE=y |
| CONFIG_USB_MAX_CONTROLLER_COUNT=2 |
| CONFIG_USB_GADGET=y |
| CONFIG_SPL_USB_GADGET=y |
| CONFIG_USB_GADGET_MANUFACTURER="FSL" |
| CONFIG_USB_GADGET_VENDOR_NUM=0x0525 |
| CONFIG_USB_GADGET_PRODUCT_NUM=0xa4a5 |
| CONFIG_CI_UDC=y |
| CONFIG_USB_GADGET_DOWNLOAD=y |
| CONFIG_SPL_USB_SDP_SUPPORT=y |
| CONFIG_VIDEO=y |
| CONFIG_VIDEO_LOGO=y |
| CONFIG_SYS_WHITE_ON_BLACK=y |
| CONFIG_VIDEO_MXS=y |
| CONFIG_SPLASH_SCREEN=y |
| CONFIG_SPLASH_SCREEN_ALIGN=y |
| CONFIG_BMP_16BPP=y |