blob: 1ca057c7943e8507bb4b6286f34c4a2889b929e6 [file] [log] [blame]
Marek Vasutc3761602024-04-28 00:20:38 +02001CONFIG_ARM=y
2CONFIG_ARCH_STM32MP=y
3CONFIG_TFABOOT=y
4CONFIG_SYS_MALLOC_F_LEN=0x1c0000
5CONFIG_CUSTOM_SYS_INIT_SP_ADDR=0xc0400000
6CONFIG_ENV_SIZE=0x4000
7CONFIG_ENV_OFFSET=0x3E0000
8CONFIG_ENV_SECT_SIZE=0x1000
Marek Vasute85828b2024-10-05 03:15:49 +02009CONFIG_DEFAULT_DEVICE_TREE="st/stm32mp135f-dhcor-dhsbc"
Tom Rinic427a582024-10-08 09:18:32 -060010CONFIG_SYS_BOOTM_LEN=0x2000000
11CONFIG_SYS_LOAD_ADDR=0xc2000000
Marek Vasutc3761602024-04-28 00:20:38 +020012CONFIG_STM32MP13X=y
13CONFIG_DDR_CACHEABLE_SIZE=0x8000000
14CONFIG_CMD_STM32KEY=y
15CONFIG_TARGET_ST_STM32MP13X=y
16CONFIG_ENV_OFFSET_REDUND=0x3F0000
17CONFIG_CMD_STM32PROG=y
18CONFIG_STM32MP15_PWR=y
19# CONFIG_ARMV7_NONSEC is not set
Marek Vasutc3761602024-04-28 00:20:38 +020020CONFIG_SYS_MEMTEST_START=0xc0000000
21CONFIG_SYS_MEMTEST_END=0xc4000000
Tom Rinic427a582024-10-08 09:18:32 -060022# CONFIG_EFI_LOADER is not set
Marek Vasutc3761602024-04-28 00:20:38 +020023CONFIG_FIT=y
Marek Vasutc3761602024-04-28 00:20:38 +020024CONFIG_DISTRO_DEFAULTS=y
25CONFIG_BOOTSTAGE_RECORD_COUNT=100
26CONFIG_BOOTDELAY=3
27CONFIG_BOOTCOMMAND="run bootcmd_stm32mp"
28CONFIG_SYS_CONSOLE_IS_IN_ENV=y
29CONFIG_SYS_PROMPT="STM32MP> "
30# CONFIG_CMD_ELF is not set
31CONFIG_CMD_ASKENV=y
32# CONFIG_CMD_EXPORTENV is not set
33CONFIG_CMD_ERASEENV=y
34CONFIG_CMD_EEPROM=y
35CONFIG_CMD_MEMINFO=y
36CONFIG_CMD_MEMTEST=y
37CONFIG_CMD_UNZIP=y
38CONFIG_CMD_CLK=y
39CONFIG_CMD_DFU=y
40CONFIG_CMD_FUSE=y
41CONFIG_CMD_GPIO=y
42CONFIG_CMD_I2C=y
43CONFIG_CMD_LSBLK=y
44CONFIG_CMD_MMC=y
45CONFIG_CMD_SPI=y
46CONFIG_CMD_USB=y
47CONFIG_CMD_USB_MASS_STORAGE=y
48CONFIG_CMD_CAT=y
49CONFIG_CMD_SETEXPR_FMT=y
50CONFIG_CMD_XXD=y
51CONFIG_CMD_DHCP6=y
52CONFIG_CMD_TFTPPUT=y
53CONFIG_SYS_DISABLE_AUTOLOAD=y
54CONFIG_CMD_WGET=y
55CONFIG_CMD_BOOTCOUNT=y
56CONFIG_CMD_CACHE=y
57CONFIG_CMD_TIME=y
58CONFIG_CMD_RNG=y
59CONFIG_CMD_TIMER=y
60CONFIG_CMD_PMIC=y
61CONFIG_CMD_REGULATOR=y
62CONFIG_CMD_BTRFS=y
63CONFIG_CMD_EXT4_WRITE=y
64CONFIG_CMD_LOG=y
65CONFIG_CMD_UBI=y
66# CONFIG_ISO_PARTITION is not set
67CONFIG_OF_LIVE=y
Marek Vasute85828b2024-10-05 03:15:49 +020068CONFIG_OF_UPSTREAM=y
Marek Vasutc3761602024-04-28 00:20:38 +020069CONFIG_ENV_IS_NOWHERE=y
70CONFIG_ENV_IS_IN_SPI_FLASH=y
71CONFIG_ENV_SPI_MAX_HZ=50000000
72CONFIG_SYS_REDUNDAND_ENVIRONMENT=y
73CONFIG_SYS_RELOC_GD_ENV_ADDR=y
74CONFIG_VERSION_VARIABLE=y
75CONFIG_NET_RANDOM_ETHADDR=y
76CONFIG_IP_DEFRAG=y
77CONFIG_TFTP_TSIZE=y
78CONFIG_PROT_TCP_SACK=y
79CONFIG_IPV6=y
80CONFIG_BOOTCOUNT_LIMIT=y
81CONFIG_SYS_BOOTCOUNT_MAGIC=0xB0C40000
82CONFIG_CLK_SCMI=y
83CONFIG_SET_DFU_ALT_INFO=y
84CONFIG_GPIO_HOG=y
85CONFIG_DM_I2C=y
86CONFIG_SYS_I2C_STM32F7=y
87CONFIG_LED=y
88CONFIG_LED_GPIO=y
89CONFIG_STM32_FMC2_EBI=y
90CONFIG_I2C_EEPROM=y
91CONFIG_SYS_I2C_EEPROM_ADDR=0x50
92CONFIG_SUPPORT_EMMC_BOOT=y
93CONFIG_STM32_SDMMC2=y
94CONFIG_MTD=y
95CONFIG_DM_MTD=y
96CONFIG_DM_SPI_FLASH=y
97CONFIG_SPI_FLASH_SFDP_SUPPORT=y
98CONFIG_SPI_FLASH_MACRONIX=y
99CONFIG_SPI_FLASH_SPANSION=y
100CONFIG_SPI_FLASH_STMICRO=y
101CONFIG_SPI_FLASH_WINBOND=y
102CONFIG_SPI_FLASH_MTD=y
103CONFIG_PHY_REALTEK=y
104CONFIG_DWC_ETH_QOS=y
105CONFIG_PHY=y
106CONFIG_PHY_STM32_USBPHYC=y
107CONFIG_PINCONF=y
108CONFIG_DM_PMIC=y
109CONFIG_PMIC_STPMIC1=y
110CONFIG_DM_REGULATOR=y
111CONFIG_DM_REGULATOR_FIXED=y
112CONFIG_DM_REGULATOR_GPIO=y
113CONFIG_DM_REGULATOR_STPMIC1=y
114CONFIG_DM_REGULATOR_SCMI=y
115CONFIG_RESET_SCMI=y
116CONFIG_DM_RNG=y
117CONFIG_RNG_STM32=y
118CONFIG_DM_RTC=y
119CONFIG_RTC_STM32=y
120CONFIG_SERIAL_RX_BUFFER=y
121CONFIG_SPI=y
122CONFIG_DM_SPI=y
123CONFIG_STM32_QSPI=y
124CONFIG_STM32_SPI=y
125CONFIG_SYSRESET_PSCI=y
126CONFIG_TEE=y
127CONFIG_OPTEE=y
128# CONFIG_OPTEE_TA_AVB is not set
129CONFIG_USB=y
130CONFIG_DM_USB_GADGET=y
131CONFIG_USB_EHCI_HCD=y
132CONFIG_USB_EHCI_GENERIC=y
133CONFIG_USB_OHCI_HCD=y
134CONFIG_USB_OHCI_GENERIC=y
135CONFIG_USB_DWC2=y
136CONFIG_USB_ONBOARD_HUB=y
137CONFIG_USB_HUB_DEBOUNCE_TIMEOUT=2000
138CONFIG_USB_HOST_ETHER=y
139CONFIG_USB_ETHER_ASIX=y
140CONFIG_USB_GADGET=y
141CONFIG_USB_GADGET_MANUFACTURER="dh"
142CONFIG_USB_GADGET_VENDOR_NUM=0x0483
143CONFIG_USB_GADGET_PRODUCT_NUM=0x5720
144CONFIG_USB_GADGET_DWC2_OTG=y
145CONFIG_USB_GADGET_DOWNLOAD=y
146CONFIG_WDT=y
147CONFIG_WDT_STM32MP=y
148CONFIG_FAT_WRITE=y
149CONFIG_ERRNO_STR=y