blob: 73800fc8ebb3d880581f7ebc5a8aaca878cebecd [file] [log] [blame]
Otavio Salvador3a68ad42018-06-29 15:19:21 -03001CONFIG_ARM=y
2CONFIG_ARCH_MX7=y
3CONFIG_SYS_TEXT_BASE=0x87800000
4CONFIG_SPL_GPIO_SUPPORT=y
5CONFIG_SPL_LIBCOMMON_SUPPORT=y
6CONFIG_SPL_LIBGENERIC_SUPPORT=y
7CONFIG_TARGET_PICO_IMX7D=y
8CONFIG_SPL_MMC_SUPPORT=y
9CONFIG_SPL_SERIAL_SUPPORT=y
10CONFIG_SPL=y
11CONFIG_SPL_LIBDISK_SUPPORT=y
12CONFIG_ARMV7_BOOT_SEC_DEFAULT=y
13CONFIG_IMX_RDC=y
14CONFIG_IMX_BOOTAUX=y
15CONFIG_DISTRO_DEFAULTS=y
Tom Rini86cf1c82018-08-16 08:16:24 -040016CONFIG_NR_DRAM_BANKS=1
Otavio Salvador3a68ad42018-06-29 15:19:21 -030017CONFIG_SYS_EXTRA_OPTIONS="IMX_CONFIG=arch/arm/mach-imx/spl_sd.cfg"
18CONFIG_BOOTCOMMAND="run findfdt; run finduuid; run distro_bootcmd"
19CONFIG_DEFAULT_FDT_FILE="imx7d-pico-pi.dtb"
20CONFIG_SPL_I2C_SUPPORT=y
21CONFIG_SPL_USB_HOST_SUPPORT=y
22CONFIG_SPL_USB_GADGET_SUPPORT=y
23CONFIG_SPL_USB_SDP_SUPPORT=y
24# CONFIG_CMD_BOOTD is not set
25CONFIG_CMD_BOOTMENU=y
26# CONFIG_CMD_IMI is not set
27# CONFIG_CMD_XIMG is not set
28CONFIG_CMD_SPL=y
29CONFIG_CMD_SPL_WRITE_SIZE=0x20000
30CONFIG_CMD_DFU=y
31CONFIG_CMD_GPIO=y
32CONFIG_CMD_GPT=y
33CONFIG_CMD_I2C=y
34CONFIG_CMD_MMC=y
35CONFIG_CMD_USB=y
36CONFIG_CMD_USB_SDP=y
37CONFIG_CMD_USB_MASS_STORAGE=y
38# CONFIG_CMD_SETEXPR is not set
39# CONFIG_CMD_MII is not set
40CONFIG_CMD_CACHE=y
41CONFIG_CMD_EXT4_WRITE=y
42CONFIG_DFU_MMC=y
43CONFIG_USB_FUNCTION_FASTBOOT=y
44CONFIG_FASTBOOT_BUF_ADDR=0x82000000
45CONFIG_FASTBOOT_BUF_SIZE=0x10000000
46CONFIG_FASTBOOT_FLASH=y
47CONFIG_FASTBOOT_FLASH_MMC_DEV=0
48CONFIG_FASTBOOT_CMD_OEM_FORMAT=y
49CONFIG_FSL_ESDHC=y
50CONFIG_PHYLIB=y
Adam Fordd7869b22018-07-20 23:03:57 -050051CONFIG_MII=y
Otavio Salvador3a68ad42018-06-29 15:19:21 -030052CONFIG_USB=y
53CONFIG_USB_EHCI_HCD=y
54CONFIG_MXC_USB_OTG_HACTIVE=y
55CONFIG_USB_STORAGE=y
56CONFIG_USB_GADGET=y
57CONFIG_USB_GADGET_MANUFACTURER="FSL"
58CONFIG_USB_GADGET_VENDOR_NUM=0x0525
59CONFIG_USB_GADGET_PRODUCT_NUM=0xa4a5
60CONFIG_CI_UDC=y
61CONFIG_OF_LIBFDT=y