CONFIG_ARM=y
  CONFIG_ARCH_K3=y

  CONFIG_SPL_GPIO_SUPPORT=y

  CONFIG_SPL_LIBCOMMON_SUPPORT=y
  CONFIG_SPL_LIBGENERIC_SUPPORT=y
  CONFIG_SYS_MALLOC_F_LEN=0x8000
  CONFIG_SOC_K3_J721E=y
  CONFIG_TARGET_J721E_A72_EVM=y

  CONFIG_ENV_SIZE=0x20000
  CONFIG_ENV_OFFSET=0x680000

  CONFIG_DM_GPIO=y

  CONFIG_SPL_MMC_SUPPORT=y
  CONFIG_SPL_SERIAL_SUPPORT=y
  CONFIG_SPL_DRIVERS_MISC_SUPPORT=y

  CONFIG_SPL_STACK_R_ADDR=0x82000000

  CONFIG_NR_DRAM_BANKS=2

  CONFIG_ENV_OFFSET_REDUND=0x6A0000

  CONFIG_SPL_FS_FAT=y
  CONFIG_SPL_LIBDISK_SUPPORT=y
  CONFIG_SPL_SPI_FLASH_SUPPORT=y
  CONFIG_SPL_SPI_SUPPORT=y

  # CONFIG_PSCI_RESET is not set

  CONFIG_SPL_TEXT_BASE=0x80080000

  CONFIG_DISTRO_DEFAULTS=y
  # CONFIG_SYS_MALLOC_CLEAR_ON_INIT is not set
  CONFIG_SPL_LOAD_FIT=y

  CONFIG_BOOTCOMMAND="run findfdt; run envboot; run init_${boot}; run boot_rprocs; run get_kern_${boot}; run get_fdt_${boot}; run get_overlay_${boot}; run run_kern"

  CONFIG_SPL_BOARD_INIT=y

  CONFIG_SPL_SYS_MALLOC_SIMPLE=y
  CONFIG_SPL_STACK_R=y
  CONFIG_SPL_SEPARATE_BSS=y

  CONFIG_SYS_MMCSD_RAW_MODE_U_BOOT_USE_SECTOR=y
  CONFIG_SYS_MMCSD_RAW_MODE_U_BOOT_SECTOR=0x1400

  CONFIG_SPL_ENV_SUPPORT=y

  CONFIG_SPL_I2C_SUPPORT=y
  CONFIG_SPL_DM_MAILBOX=y
  CONFIG_SPL_DM_RESET=y
  CONFIG_SPL_POWER_SUPPORT=y
  CONFIG_SPL_POWER_DOMAIN=y

  CONFIG_SPL_RAM_SUPPORT=y
  CONFIG_SPL_RAM_DEVICE=y

  CONFIG_SPL_SPI_LOAD=y

  CONFIG_SYS_SPI_U_BOOT_OFFS=0x280000

  CONFIG_SPL_USB_GADGET=y

  CONFIG_SPL_DFU=y

  CONFIG_SPL_YMODEM_SUPPORT=y
  CONFIG_CMD_ASKENV=y

  CONFIG_CMD_DFU=y

  # CONFIG_CMD_FLASH is not set

  CONFIG_CMD_GPIO=y

  CONFIG_CMD_GPT=y

  CONFIG_CMD_I2C=y

  CONFIG_CMD_MMC=y

  CONFIG_CMD_MTD=y

  CONFIG_CMD_REMOTEPROC=y

  CONFIG_CMD_UFS=y

  CONFIG_CMD_USB=y
  CONFIG_CMD_USB_MASS_STORAGE=y

  # CONFIG_CMD_SETEXPR is not set
  CONFIG_CMD_TIME=y
  CONFIG_CMD_EXT4_WRITE=y

  CONFIG_MTDIDS_DEFAULT="nor0=47040000.spi.0,nor0=47034000.hyperbus"
  CONFIG_MTDPARTS_DEFAULT="mtdparts=47034000.hyperbus:512k(hbmc.tiboot3),2m(hbmc.tispl),4m(hbmc.u-boot),256k(hbmc.env),1m(hbmc.sysfw),-@8m(hbmc.rootfs)"

  # CONFIG_ISO_PARTITION is not set

  # CONFIG_SPL_EFI_PARTITION is not set

  CONFIG_OF_CONTROL=y
  CONFIG_SPL_OF_CONTROL=y
  CONFIG_DEFAULT_DEVICE_TREE="k3-j721e-common-proc-board"
  CONFIG_SPL_MULTI_DTB_FIT=y
  CONFIG_SPL_MULTI_DTB_FIT_NO_COMPRESSION=y

  CONFIG_ENV_IS_IN_MMC=y
  CONFIG_SYS_REDUNDAND_ENVIRONMENT=y

  CONFIG_SYS_RELOC_GD_ENV_ADDR=y

  CONFIG_NET_RANDOM_ETHADDR=y

  CONFIG_DM=y
  CONFIG_SPL_DM=y
  CONFIG_SPL_DM_SEQ_ALIAS=y
  CONFIG_REGMAP=y
  CONFIG_SPL_REGMAP=y
  CONFIG_SYSCON=y
  CONFIG_SPL_OF_TRANSLATE=y
  CONFIG_CLK=y
  CONFIG_SPL_CLK=y
  CONFIG_CLK_TI_SCI=y

  CONFIG_DFU_MMC=y
  CONFIG_DFU_RAM=y
  CONFIG_DFU_SF=y

  CONFIG_DMA_CHANNELS=y
  CONFIG_TI_K3_NAVSS_UDMA=y

  CONFIG_USB_FUNCTION_FASTBOOT=y
  CONFIG_FASTBOOT_BUF_ADDR=0x82000000
  CONFIG_FASTBOOT_BUF_SIZE=0x2F000000
  CONFIG_FASTBOOT_FLASH=y
  CONFIG_FASTBOOT_FLASH_MMC_DEV=0
  CONFIG_FASTBOOT_CMD_OEM_FORMAT=y

  CONFIG_TI_SCI_PROTOCOL=y

  CONFIG_DA8XX_GPIO=y

  CONFIG_DM_PCA953X=y

  CONFIG_DM_I2C=y
  CONFIG_SYS_I2C_OMAP24XX=y

  CONFIG_DM_MAILBOX=y
  CONFIG_K3_SEC_PROXY=y

  CONFIG_DM_MMC=y

  CONFIG_SUPPORT_EMMC_BOOT=y

  CONFIG_MMC_SDHCI=y

  CONFIG_MMC_SDHCI_ADMA=y
  CONFIG_SPL_MMC_SDHCI_ADMA=y

  CONFIG_MMC_SDHCI_AM654=y

  CONFIG_MTD=y

  CONFIG_DM_MTD=y

  CONFIG_MTD_NOR_FLASH=y

  CONFIG_FLASH_CFI_DRIVER=y
  CONFIG_CFI_FLASH=y
  CONFIG_SYS_FLASH_USE_BUFFER_WRITE=y
  CONFIG_FLASH_CFI_MTD=y
  CONFIG_SYS_FLASH_CFI=y
  CONFIG_HBMC_AM654=y

  CONFIG_DM_SPI_FLASH=y

  CONFIG_SPI_FLASH_STMICRO=y

  CONFIG_PHY_TI=y
  CONFIG_PHY_FIXED=y
  CONFIG_DM_ETH=y
  CONFIG_TI_AM65_CPSW_NUSS=y

  CONFIG_PINCTRL=y
  # CONFIG_PINCTRL_GENERIC is not set
  CONFIG_SPL_PINCTRL=y
  # CONFIG_SPL_PINCTRL_GENERIC is not set
  CONFIG_PINCTRL_SINGLE=y
  CONFIG_POWER_DOMAIN=y
  CONFIG_TI_SCI_POWER_DOMAIN=y

  CONFIG_RAM=y

  CONFIG_SPL_RAM=y

  CONFIG_REMOTEPROC_TI_K3_DSP=y
  CONFIG_REMOTEPROC_TI_K3_R5F=y

  CONFIG_DM_RESET=y
  CONFIG_RESET_TI_SCI=y

  CONFIG_SCSI=y
  CONFIG_DM_SCSI=y

  CONFIG_DM_SERIAL=y

  CONFIG_SOC_TI=y

  CONFIG_SPI=y
  CONFIG_DM_SPI=y
  CONFIG_CADENCE_QSPI=y
  CONFIG_SYSRESET=y
  CONFIG_SPL_SYSRESET=y
  CONFIG_SYSRESET_TI_SCI=y

  CONFIG_USB=y
  CONFIG_DM_USB=y
  CONFIG_DM_USB_GADGET=y
  CONFIG_SPL_DM_USB_GADGET=y
  CONFIG_USB_XHCI_HCD=y
  CONFIG_USB_CDNS3=y
  CONFIG_USB_CDNS3_GADGET=y
  CONFIG_USB_CDNS3_HOST=y

  CONFIG_SPL_USB_CDNS3_GADGET=y

  CONFIG_USB_GADGET=y
  CONFIG_USB_GADGET_MANUFACTURER="Texas Instruments"
  CONFIG_USB_GADGET_VENDOR_NUM=0x0451
  CONFIG_USB_GADGET_PRODUCT_NUM=0x6163

  CONFIG_UFS=y
  CONFIG_CADENCE_UFS=y
  CONFIG_TI_J721E_UFS=y

  CONFIG_FAT_WRITE=y

  CONFIG_OF_LIBFDT_OVERLAY=y