diff options
Diffstat (limited to 'configs/platform-v7a/barebox-stm32mp.config.diff')
| -rw-r--r-- | configs/platform-v7a/barebox-stm32mp.config.diff | 147 |
1 files changed, 147 insertions, 0 deletions
diff --git a/configs/platform-v7a/barebox-stm32mp.config.diff b/configs/platform-v7a/barebox-stm32mp.config.diff new file mode 100644 index 0000000..ae685bc --- /dev/null +++ b/configs/platform-v7a/barebox-stm32mp.config.diff @@ -0,0 +1,147 @@ +3535341c60838c5a3a5b02da35648d4a +# 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_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_POWEROFF=y +# CONFIG_CMD_SHA1SUM is not set +# CONFIG_CMD_SPI is undefined +# CONFIG_CMD_STATE is undefined +# CONFIG_CMD_USB is undefined +# CONFIG_CMD_USBGADGET is undefined +CONFIG_COMMON_CLK_OF_PROVIDER=y +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_DIGEST_SHA1_GENERIC is not set +# 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_AT25 is undefined +# CONFIG_FILE_LIST is undefined +# CONFIG_FIRMWARE_ALTERA_SERIAL 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_TRIGGERS is not set +# CONFIG_LIBFDT is undefined +# CONFIG_MACHINE_ID is undefined +# 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_STM32MP157C_DK2=y +# CONFIG_MCI_BCM283X is undefined +# CONFIG_MCI_BCM283X_SDHOST is undefined +# CONFIG_MCI_MMCI is not set +# CONFIG_MCI_SPI is undefined +CONFIG_MCI_STM32_SDMMC2=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_PINCTRL_BCM283X is undefined +CONFIG_PINCTRL_STM32=y +CONFIG_PRINTF_UUID=y +CONFIG_PROMPT="barebox:" +# CONFIG_REGULATOR_ANATOP is not set +# CONFIG_REGULATOR_BCM283X is undefined +CONFIG_REGULATOR_FIXED=y +CONFIG_REGULATOR_STPMIC1=y +CONFIG_RESET_CONTROLLER=y +# CONFIG_RESET_IMX7 is not set +CONFIG_RESET_STM32=y +# CONFIG_SHA1 is undefined +# CONFIG_SPI is not set +# CONFIG_SPI_MEM is undefined +# CONFIG_STATE is not set +# CONFIG_STATE_BACKWARD_COMPATIBLE is undefined +# CONFIG_STATE_CRYPTO is undefined +# CONFIG_STATE_DRV is undefined +CONFIG_STM32_BSEC=y +CONFIG_STM32_IWDG_WATCHDOG=y +# CONFIG_STPMIC1_WATCHDOG is not set +CONFIG_THUMB2_BAREBOX=y +# CONFIG_USB is undefined +# CONFIG_USBGADGET_START 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_FASTBOOT_SPARSE is undefined +# CONFIG_USB_GADGET_SERIAL is undefined +# CONFIG_USB_HOST is not set +# CONFIG_USB_HUB_USB251XB is undefined +# CONFIG_USB_STORAGE is undefined +# CONFIG_USB_ULPI is undefined +# CONFIG_USB_XHCI is undefined +# 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 |