1 # CONFIG_CMD_ELF is not set
2 # CONFIG_CMD_EXPORTENV is not set
3 # CONFIG_EFI_LOADER is not set
4 # CONFIG_ISO_PARTITION is not set
5 CONFIG_BOOTCOMMAND="run bootcmd_stm32mp"
6 CONFIG_BOOTCOUNT_LIMIT=y
14 CONFIG_CMD_EXT4_WRITE=y
22 CONFIG_CMD_REGULATOR=y
25 CONFIG_CMD_STM32PROG=y
31 CONFIG_CMD_USB_MASS_STORAGE=y
33 CONFIG_DISTRO_DEFAULTS=y
38 CONFIG_DM_REGULATOR_FIXED=y
39 CONFIG_DM_REGULATOR_GPIO=y
40 CONFIG_DM_REGULATOR_STPMIC1=y
44 CONFIG_DM_USB_GADGET=y
46 CONFIG_ENV_IS_IN_SPI_FLASH=y
47 CONFIG_ENV_SECT_SIZE=0x1000
48 CONFIG_ENV_SIZE=0x4000
58 CONFIG_NET_RANDOM_ETHADDR=y
62 CONFIG_PHY_STM32_USBPHYC=y
65 CONFIG_PROT_TCP_SACK=y
67 CONFIG_SERIAL_RX_BUFFER=y
69 CONFIG_SPI_FLASH_MACRONIX=y
70 CONFIG_SPI_FLASH_MTD=y
71 CONFIG_SPI_FLASH_SFDP_SUPPORT=y
72 CONFIG_SPI_FLASH_SPANSION=y
73 CONFIG_SPI_FLASH_STMICRO=y
74 CONFIG_SPI_FLASH_WINBOND=y
75 CONFIG_STM32_FMC2_EBI=y
79 CONFIG_SUPPORT_EMMC_BOOT=y
80 CONFIG_SYS_BOOTCOUNT_MAGIC=0xB0C40000
81 CONFIG_SYS_BOOTM_LEN=0x2000000
82 CONFIG_SYS_DISABLE_AUTOLOAD=y
83 CONFIG_SYS_I2C_STM32F7=y
84 CONFIG_SYS_LOAD_ADDR=0xc2000000
85 CONFIG_SYS_PROMPT="STM32MP> "
86 CONFIG_SYS_REDUNDAND_ENVIRONMENT=y
87 CONFIG_SYS_RELOC_GD_ENV_ADDR=y
91 CONFIG_USB_EHCI_GENERIC=y
93 CONFIG_USB_ETHER_ASIX=y
95 CONFIG_USB_GADGET_DOWNLOAD=y
96 CONFIG_USB_GADGET_DWC2_OTG=y
97 CONFIG_USB_GADGET_MANUFACTURER="dh"
98 CONFIG_USB_GADGET_PRODUCT_NUM=0x5720
99 CONFIG_USB_GADGET_VENDOR_NUM=0x0483
100 CONFIG_USB_HOST_ETHER=y
101 CONFIG_USB_OHCI_GENERIC=y
102 CONFIG_USB_OHCI_HCD=y
103 CONFIG_VERSION_VARIABLE=y