7b026e83521009fb334bf433e0530043
# CONFIG_ARCH_BCM283X is not set
CONFIG_ARCH_HAS_RESET_CONTROLLER=y
CONFIG_ARCH_NR_GPIO=416
CONFIG_ARCH_STM32=y
CONFIG_ARCH_STM32MP13=y
CONFIG_ARCH_STM32MP157=y
CONFIG_ARCH_STM32MP=y
# CONFIG_ARCH_TEXT_BASE is undefined
CONFIG_ARM_ASM_UNIFIED=y
CONFIG_ARM_BOARD_APPEND_ATAG=y
# CONFIG_ARM_BOARD_PREPEND_ATAG is not set
CONFIG_ARM_PSCI_CLIENT=y
CONFIG_ARM_PSCI_OF=y
CONFIG_ARM_SCMI_HAVE_MSG=y
CONFIG_ARM_SCMI_HAVE_SHMEM=y
CONFIG_ARM_SCMI_HAVE_TRANSPORT=y
# CONFIG_ARM_SCMI_POWER_DOMAIN is not set
CONFIG_ARM_SCMI_PROTOCOL=y
CONFIG_ARM_SCMI_TRANSPORT_OPTEE=y
CONFIG_ARM_SCMI_TRANSPORT_SMC=y
# CONFIG_ARM_SECURE_MONITOR is undefined
CONFIG_AT803X_PHY=y
# CONFIG_BOARD_ARM_GENERIC_DT is not set
# CONFIG_BOARD_GENERIC_DT is undefined
CONFIG_BOOTM_OFTREE_UIMAGE=y
# CONFIG_BZLIB is not set
# CONFIG_CLKSRC_STM32 is not set
# CONFIG_CLOCKSOURCE_BCM283X is undefined
# CONFIG_CMD_BOOTZ is not set
# CONFIG_CMD_DEFAULTENV is not set
# CONFIG_CMD_I2C is not set
# CONFIG_CMD_LED_TRIGGER is undefined
CONFIG_CMD_MENU_MANAGEMENT=y
CONFIG_CMD_MMC_EXTCSD=y
# CONFIG_CMD_NVMEM is not set
CONFIG_CMD_POWEROFF=y
# CONFIG_CMD_PWM is not set
# CONFIG_CMD_SPI is undefined
# CONFIG_CMD_STACKSMASH is not set
CONFIG_COMMON_CLK_SCMI=y
CONFIG_COMMON_CLK_STM32MP135=y
CONFIG_COMMON_CLK_STM32MP157=y
CONFIG_COMPILE_LOGLEVEL=6
# CONFIG_CONSOLE_ACTIVATE_FIRST is not set
CONFIG_CONSOLE_ACTIVATE_NONE=y
CONFIG_CRC8=y
# CONFIG_DEBUG_PBL is not set
CONFIG_DEFAULT_LOGLEVEL=7
# CONFIG_DRIVER_CFI is undefined
CONFIG_DRIVER_NET_DESIGNWARE_EQOS=y
CONFIG_DRIVER_NET_DESIGNWARE_STM32=y
# CONFIG_DRIVER_NET_ENC28J60 is undefined
# CONFIG_DRIVER_NET_MICREL is undefined
CONFIG_DRIVER_SERIAL_STM32=y
# CONFIG_DRIVER_SPI_GPIO is undefined
# CONFIG_DRIVER_SPI_LITEX_SPIFLASH is undefined
CONFIG_EEPROM_AT24=y
# CONFIG_EEPROM_AT25 is undefined
# CONFIG_FIRMWARE_ALTERA_SERIAL is undefined
# CONFIG_FS_JFFS2 is undefined
CONFIG_GENERIC_PHY=y
# CONFIG_GPIO_74164 is undefined
# CONFIG_GPIO_RASPBERRYPI_EXP is undefined
CONFIG_HAVE_OPTEE=y
CONFIG_HWRNG_STM32=y
CONFIG_HW_RANDOM_OPTEE=y
# CONFIG_I2C_ALGOBIT is undefined
# CONFIG_I2C_BCM283X is undefined
# CONFIG_I2C_GPIO is not set
CONFIG_I2C_STM32=y
CONFIG_IDR=y
CONFIG_LED_PWM=y
# CONFIG_LED_TRIGGERS is not set
# CONFIG_LIBFDT is undefined
CONFIG_MACH_LXA_MC1=y
# CONFIG_MACH_PHYTEC_PHYCORE_STM32MP1 is not set
# CONFIG_MACH_PROTONIC_STM32MP1 is not set
# CONFIG_MACH_RPI2 is undefined
# CONFIG_MACH_RPI3 is undefined
# CONFIG_MACH_RPI4 is undefined
# CONFIG_MACH_RPI is undefined
# CONFIG_MACH_RPI_AARCH_32_64 is undefined
# CONFIG_MACH_RPI_CM3 is undefined
# CONFIG_MACH_RPI_COMMON is undefined
# CONFIG_MACH_SEEED_ODYSSEY is not set
CONFIG_MACH_STM32MP13XX_DK=y
CONFIG_MACH_STM32MP15XX_DKX=y
CONFIG_MACH_STM32MP15X_EV1=y
# CONFIG_MCI_BCM283X is undefined
# CONFIG_MCI_BCM283X_SDHOST is undefined
# CONFIG_MCI_MMCI is not set
CONFIG_MCI_MMC_BOOT_PARTITIONS=y
# CONFIG_MCI_SPI is undefined
CONFIG_MCI_STM32_SDMMC2=y
CONFIG_MFD_STM32_TIMERS=y
CONFIG_MFD_STPMIC1=y
CONFIG_MFD_SYSCON=y
CONFIG_MICREL_PHY=y
# CONFIG_MMCBLKDEV_ROOTARG is not set
# CONFIG_MTD is not set
# CONFIG_MTD_CONCAT is undefined
# CONFIG_MTD_DATAFLASH is undefined
# CONFIG_MTD_DOCG3 is undefined
# CONFIG_MTD_M25P80 is undefined
# CONFIG_MTD_MTDRAM is undefined
# CONFIG_MTD_OOB_DEVICE is undefined
# CONFIG_MTD_PEB_DEBUG is undefined
# CONFIG_MTD_RAW_DEVICE is undefined
# CONFIG_MTD_SPI_NOR is undefined
# CONFIG_MTD_UBI is undefined
# CONFIG_MTD_WRITE is undefined
# CONFIG_NAND is undefined
CONFIG_NET_NETCONSOLE=y
# CONFIG_NET_NFS is not set
# CONFIG_NET_USB is not set
# CONFIG_NET_USB_ASIX is undefined
# CONFIG_NET_USB_RTL8152 is undefined
# CONFIG_NET_USB_SMSC95XX is undefined
CONFIG_NVMEM=y
# CONFIG_NVMEM_REBOOT_MODE is not set
# CONFIG_NVMEM_RMEM is not set
# CONFIG_NVMEM_SNVS_LPGPR is not set
CONFIG_OPTEE=y
CONFIG_OPTEE_SHM_SIZE=0x400000
CONFIG_OPTEE_SIZE=0x03000000
# CONFIG_PARTITION_DISK_EFI_GPT_COMPARE is not set
# CONFIG_PARTITION_DISK_EFI_GPT_NO_FORCE is not set
CONFIG_PBL_CONSOLE=y
# CONFIG_PBL_OPTEE is undefined
# CONFIG_PHY_FSL_IMX8MQ_USB is not set
CONFIG_PHY_STM32_USBPHYC=y
# CONFIG_PINCTRL_BCM283X is undefined
CONFIG_PINCTRL_STM32=y
CONFIG_PROMPT="barebox:"
CONFIG_PWM=y
CONFIG_PWM_STM32=y
CONFIG_REGMAP_FORMATTED=y
CONFIG_REGMAP_I2C=y
# CONFIG_REGULATOR_ANATOP is not set
CONFIG_REGULATOR_ARM_SCMI=y
# CONFIG_REGULATOR_BCM283X is undefined
CONFIG_REGULATOR_FIXED=y
CONFIG_REGULATOR_STM32_PWR=y
CONFIG_REGULATOR_STM32_VREFBUF=y
CONFIG_REGULATOR_STPMIC1=y
CONFIG_REMOTEPROC=y
CONFIG_RESET_CONTROLLER=y
# CONFIG_RESET_IMX7 is not set
CONFIG_RESET_SCMI=y
CONFIG_RESET_SIMPLE=y
CONFIG_RESET_STM32=y
# CONFIG_SPI is not set
# CONFIG_SPI_MEM is undefined
CONFIG_STACKPROTECTOR=y
# CONFIG_STACKPROTECTOR_NONE is not set
CONFIG_STACKPROTECTOR_STRONG=y
CONFIG_STACK_GUARD_PAGE=y
CONFIG_STM32_BSEC=y
CONFIG_STM32_BSEC_OPTEE_TA=y
CONFIG_STM32_BSEC_WRITE=y
CONFIG_STM32_FMC2_EBI=y
CONFIG_STM32_IMAGE=y
CONFIG_STM32_IWDG_WATCHDOG=y
CONFIG_STM32_REMOTEPROC=y
# CONFIG_STPMIC1_WATCHDOG is not set
# CONFIG_SYSCON_REBOOT_MODE is not set
CONFIG_TEE=y
CONFIG_THUMB2_BAREBOX=y
CONFIG_USB_DWC2=y
CONFIG_USB_DWC2_GADGET=y
CONFIG_USB_DWC2_HOST=y
# CONFIG_USB_EHCI is not set
# CONFIG_USB_GADGET_AUTOSTART is not set
# CONFIG_USB_NET_AX88179_178A is undefined
# CONFIG_USB_NOP_XCEIV is not set
CONFIG_USB_OTGDEV=y
# CONFIG_USB_STORAGE is not set
# CONFIG_WATCHDOG_BCM2835 is undefined
CONFIG_WATCHDOG_POLLER=y
# CONFIG_XZ_DECOMPRESS is not set
# CONFIG_XZ_DEC_ARM64 is undefined
# CONFIG_XZ_DEC_ARM is undefined
# CONFIG_XZ_DEC_ARMTHUMB is undefined
# CONFIG_XZ_DEC_IA64 is undefined
# CONFIG_XZ_DEC_POWERPC is undefined
# CONFIG_XZ_DEC_SPARC is undefined
# CONFIG_XZ_DEC_X86 is undefined