diff options
Diffstat (limited to 'configs/platform-v7a/barebox-stm32mp.config.diff')
-rw-r--r-- | configs/platform-v7a/barebox-stm32mp.config.diff | 95 |
1 files changed, 60 insertions, 35 deletions
diff --git a/configs/platform-v7a/barebox-stm32mp.config.diff b/configs/platform-v7a/barebox-stm32mp.config.diff index f4f3cc8..5f8844e 100644 --- a/configs/platform-v7a/barebox-stm32mp.config.diff +++ b/configs/platform-v7a/barebox-stm32mp.config.diff @@ -1,7 +1,9 @@ -82771f6d38b1270ff8c3853c94a3eba9 +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 @@ -10,40 +12,44 @@ 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_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_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_MIITOOL=y CONFIG_CMD_MMC_EXTCSD=y # CONFIG_CMD_NVMEM is not set -CONFIG_CMD_OF_DIFF=y CONFIG_CMD_POWEROFF=y +# CONFIG_CMD_PWM is not set # CONFIG_CMD_SPI is undefined -# CONFIG_CMD_USB is undefined -# CONFIG_CMD_USBGADGET 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_DEFAULT_COMPRESSION_BZIP2 is undefined -# CONFIG_DEFAULT_COMPRESSION_XZ is undefined +# 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_ROCKCHIP is not set 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 @@ -53,23 +59,32 @@ 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_HWRNG is not set +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_KEYBOARD_USB is undefined +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 @@ -82,6 +97,7 @@ 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 @@ -97,64 +113,73 @@ CONFIG_MICREL_PHY=y # CONFIG_NAND is undefined CONFIG_NET_NETCONSOLE=y # CONFIG_NET_NFS is not set -# CONFIG_NET_USB is undefined +# 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_PARTITION_DISK_EFI=y +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_PRINTF_UUID=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 is not set +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 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_MASS_STORAGE is undefined -# CONFIG_USB_GADGET_SERIAL is undefined -# CONFIG_USB_HOST is not set -# CONFIG_USB_HUB_USB251XB is undefined +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_STORAGE is undefined -# CONFIG_USB_ULPI is undefined -# CONFIG_USB_XHCI is undefined -CONFIG_USE_COMPRESSED_DTB=y +# 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 |