1CONFIG_ARM=y
2CONFIG_ARCH_MX7=y
3CONFIG_SYS_MALLOC_LEN=0x2000000
4CONFIG_SPL_GPIO=y
5CONFIG_SPL_LIBCOMMON_SUPPORT=y
6CONFIG_SPL_LIBGENERIC_SUPPORT=y
7CONFIG_ENV_SIZE=0x2000
8CONFIG_ENV_OFFSET=0xC0000
9CONFIG_DM_GPIO=y
10CONFIG_DEFAULT_DEVICE_TREE="imx7d-pico-pi"
11CONFIG_TARGET_PICO_IMX7D=y
12CONFIG_OF_LIBFDT_OVERLAY=y
13CONFIG_SYS_MONITOR_LEN=409600
14CONFIG_SPL_MMC=y
15CONFIG_SPL_SERIAL=y
16CONFIG_SPL_HAS_BSS_LINKER_SECTION=y
17CONFIG_SPL_BSS_MAX_SIZE=0x100000
18CONFIG_SPL=y
19CONFIG_ARMV7_BOOT_SEC_DEFAULT=y
20CONFIG_SYS_MEMTEST_START=0x80000000
21CONFIG_SYS_MEMTEST_END=0xa0000000
22CONFIG_HAS_BOARD_SIZE_LIMIT=y
23CONFIG_BOARD_SIZE_LIMIT=715776
24CONFIG_FIT=y
25CONFIG_FIT_SIGNATURE=y
26CONFIG_FIT_VERBOSE=y
27CONFIG_USE_BOOTCOMMAND=y
28CONFIG_BOOTCOMMAND="run distro_bootcmd"
29CONFIG_SYS_PBSIZE=532
30# CONFIG_CONSOLE_MUX is not set
31CONFIG_SPL_MAX_SIZE=0xe000
32CONFIG_SPL_SYS_MALLOC=y
33CONFIG_HUSH_PARSER=y
34CONFIG_SYS_MAXARGS=32
35# CONFIG_CMD_BOOTD is not set
36CONFIG_CMD_BOOTZ=y
37CONFIG_CMD_SPL=y
38CONFIG_CMD_SPL_WRITE_SIZE=0x20000
39CONFIG_CMD_MEMTEST=y
40CONFIG_CMD_DFU=y
41CONFIG_CMD_GPIO=y
42CONFIG_CMD_GPT=y
43CONFIG_CMD_I2C=y
44CONFIG_CMD_MMC=y
45CONFIG_CMD_USB=y
46CONFIG_CMD_USB_SDP=y
47CONFIG_CMD_USB_MASS_STORAGE=y
48CONFIG_CMD_DHCP=y
49CONFIG_CMD_PXE=y
50CONFIG_CMD_BMP=y
51CONFIG_CMD_CACHE=y
52CONFIG_CMD_FAT=y
53CONFIG_CMD_FS_GENERIC=y
54CONFIG_OF_CONTROL=y
55CONFIG_ENV_OVERWRITE=y
56CONFIG_SYS_RELOC_GD_ENV_ADDR=y
57CONFIG_NET_RANDOM_ETHADDR=y
58CONFIG_BOUNCE_BUFFER=y
59CONFIG_DFU_MMC=y
60CONFIG_DM_I2C=y
61CONFIG_SYS_I2C_MXC=y
62CONFIG_FSL_USDHC=y
63CONFIG_MTD=y
64CONFIG_PHYLIB=y
65CONFIG_PHY_ATHEROS=y
66CONFIG_DM_MDIO=y
67CONFIG_FEC_MXC=y
68CONFIG_RGMII=y
69CONFIG_MII=y
70CONFIG_PINCTRL=y
71CONFIG_DM_PMIC=y
72CONFIG_DM_PMIC_PFUZE100=y
73CONFIG_CONS_INDEX=4
74CONFIG_DM_SERIAL=y
75CONFIG_MXC_UART=y
76CONFIG_IMX_THERMAL=y
77CONFIG_USB=y
78CONFIG_SPL_USB_HOST=y
79CONFIG_USB_EHCI_HCD=y
80CONFIG_MXC_USB_OTG_HACTIVE=y
81CONFIG_USB_MAX_CONTROLLER_COUNT=2
82CONFIG_USB_GADGET=y
83CONFIG_SPL_USB_GADGET=y
84CONFIG_USB_GADGET_MANUFACTURER="FSL"
85CONFIG_USB_GADGET_VENDOR_NUM=0x0525
86CONFIG_USB_GADGET_PRODUCT_NUM=0xa4a5
87CONFIG_CI_UDC=y
88CONFIG_USB_GADGET_DOWNLOAD=y
89CONFIG_SPL_USB_SDP_SUPPORT=y
90CONFIG_VIDEO=y
91CONFIG_VIDEO_LOGO=y
92CONFIG_SYS_WHITE_ON_BLACK=y
93CONFIG_VIDEO_MXS=y
94CONFIG_SPLASH_SCREEN=y
95CONFIG_SPLASH_SCREEN_ALIGN=y
96CONFIG_BMP_16BPP=y
97