ce95be8f999c1d51c97a3eeb3fd3737f
# CONFIG_ARCH_BCM283X is not set
CONFIG_ARCH_HAS_RESET_CONTROLLER=y
CONFIG_ARCH_NR_GPIO=416
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_SECURE_MONITOR is undefined
CONFIG_ARM_USE_COMPRESSED_DTB=y
CONFIG_AT803X_PHY=y
# CONFIG_BOARD_ARM_GENERIC_DT is not set
# CONFIG_BOARD_GENERIC_DT is undefined
CONFIG_BOOTM_INITRD=y
CONFIG_BOOTM_OFTREE_UIMAGE=y
# CONFIG_BZLIB 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_MIITOOL=y
CONFIG_CMD_MMC_EXTCSD=y
CONFIG_CMD_OF_DIFF=y
CONFIG_CMD_POWEROFF=y
# CONFIG_CMD_SPI is undefined
# CONFIG_CMD_USB is undefined
# CONFIG_CMD_USBGADGET is undefined
CONFIG_COMPILE_LOGLEVEL=6
# CONFIG_CONSOLE_ACTIVATE_FIRST is not set
CONFIG_CONSOLE_ACTIVATE_NONE=y
CONFIG_CRC8=y
# CONFIG_DEFAULT_COMPRESSION_BZIP2 is undefined
# CONFIG_DEFAULT_COMPRESSION_XZ is undefined
CONFIG_DEFAULT_LOGLEVEL=7
# CONFIG_DRIVER_CFI is undefined
CONFIG_DRIVER_NET_DESIGNWARE_EQOS=y
CONFIG_DRIVER_NET_DESIGNWARE_STM32=y
# CONFIG_DRIVER_NET_DESIGNWARE_TEGRA186 is not set
# CONFIG_DRIVER_NET_ENC28J60 is undefined
# CONFIG_DRIVER_NET_MICREL is undefined
CONFIG_DRIVER_SERIAL_STM32=y
# CONFIG_DRIVER_SPI_GPIO is undefined
CONFIG_EEPROM_AT24=y
# CONFIG_EEPROM_AT25 is undefined
# CONFIG_FILE_LIST is undefined
CONFIG_FIRMWARE=y
# CONFIG_FIRMWARE_ALTERA_SERIAL is undefined
# CONFIG_FS_JFFS2 is undefined
# CONFIG_GPIO_74164 is undefined
# CONFIG_GPIO_RASPBERRYPI_EXP is undefined
# CONFIG_HWRNG is not set
# CONFIG_I2C_ALGOBIT is undefined
# CONFIG_I2C_GPIO is not set
CONFIG_I2C_STM32=y
# CONFIG_KEYBOARD_USB is undefined
CONFIG_LED_PWM=y
# CONFIG_LED_TRIGGERS is not set
# CONFIG_LIBFDT is undefined
CONFIG_MACH_LXA_MC1=y
# CONFIG_MACH_RPI2 is undefined
# CONFIG_MACH_RPI3 is undefined
# CONFIG_MACH_RPI is undefined
# CONFIG_MACH_RPI_CM3 is undefined
# CONFIG_MACH_RPI_COMMON is undefined
# CONFIG_MACH_SEEED_ODYSSEY is not set
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_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 undefined
# CONFIG_NET_USB_ASIX is undefined
# CONFIG_NET_USB_SMSC95XX is undefined
CONFIG_NVMEM=y
# CONFIG_NVMEM_SNVS_LPGPR is not set
CONFIG_PARTITION_DISK_EFI=y
# 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_PINCTRL_BCM283X is undefined
CONFIG_PINCTRL_STM32=y
CONFIG_PRINTF_UUID=y
CONFIG_PROMPT="barebox:"
CONFIG_PWM=y
CONFIG_PWM_STM32=y
# CONFIG_REGULATOR_ANATOP is not set
# CONFIG_REGULATOR_BCM283X is undefined
CONFIG_REGULATOR_FIXED=y
# CONFIG_REGULATOR_STM32_PWR is not set
CONFIG_REGULATOR_STM32_VREFBUF=y
CONFIG_REGULATOR_STPMIC1=y
CONFIG_REMOTEPROC=y
CONFIG_RESET_CONTROLLER=y
# CONFIG_RESET_IMX7 is not set
CONFIG_RESET_STM32=y
# CONFIG_SPI is not set
# CONFIG_SPI_MEM is undefined
CONFIG_STM32_BSEC=y
CONFIG_STM32_IWDG_WATCHDOG=y
CONFIG_STM32_REMOTEPROC=y
# CONFIG_STPMIC1_WATCHDOG is not set
# CONFIG_SYSCON_REBOOT_MODE is not set
CONFIG_THUMB2_BAREBOX=y
# CONFIG_USB is undefined
# CONFIG_USBGADGET_START is undefined
# CONFIG_USB_DWC2_GADGET is undefined
# CONFIG_USB_DWC2_HOST is undefined
# CONFIG_USB_DWC3 is undefined
# CONFIG_USB_EHCI is undefined
# CONFIG_USB_GADGET is not set
# CONFIG_USB_GADGET_AUTOSTART is undefined
# CONFIG_USB_GADGET_DFU is undefined
# CONFIG_USB_GADGET_FASTBOOT is undefined
# CONFIG_USB_GADGET_SERIAL is undefined
# CONFIG_USB_HOST is not set
# CONFIG_USB_HUB_USB251XB is undefined
# CONFIG_USB_NET_AX88179_178A is undefined
# CONFIG_USB_STORAGE is undefined
# CONFIG_USB_ULPI is undefined
# CONFIG_USB_XHCI is undefined
CONFIG_USE_COMPRESSED_DTB=y
# CONFIG_WATCHDOG_BCM2835 is undefined
CONFIG_WATCHDOG_POLLER=y
# CONFIG_XZ_DECOMPRESS is not set
# 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