CONFIG_ARM=y
  CONFIG_ARCH_K3=y
  CONFIG_SPL_LIBCOMMON_SUPPORT=y
  CONFIG_SPL_LIBGENERIC_SUPPORT=y

  CONFIG_SYS_MALLOC_F_LEN=0x8000

  CONFIG_SOC_K3_AM6=y
  CONFIG_TARGET_AM654_A53_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_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_OF_BOARD_SETUP=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_CONSOLE_MUX=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_I2C_SUPPORT=y
  CONFIG_SPL_DM_MAILBOX=y
  CONFIG_SPL_DM_RESET=y
  CONFIG_SPL_POWER_DOMAIN=y

  CONFIG_SPL_YMODEM_SUPPORT=y
  CONFIG_CMD_ASKENV=y

  CONFIG_CMD_DFU=y

  CONFIG_CMD_GPT=y

  CONFIG_CMD_I2C=y

  CONFIG_CMD_MMC=y

  CONFIG_CMD_PCI=y

  CONFIG_CMD_REMOTEPROC=y

  CONFIG_CMD_USB=y

  # CONFIG_CMD_SETEXPR is not set
  CONFIG_CMD_TIME=y
  # CONFIG_ISO_PARTITION is not set

  CONFIG_OF_CONTROL=y
  CONFIG_SPL_OF_CONTROL=y
  CONFIG_DEFAULT_DEVICE_TREE="k3-am654-base-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_SPL_REGMAP=y

  CONFIG_CLK=y
  CONFIG_SPL_CLK=y
  CONFIG_CLK_TI_SCI=y

  CONFIG_DFU_MMC=y
  CONFIG_DFU_RAM=y

  CONFIG_DMA_CHANNELS=y
  CONFIG_TI_K3_NAVSS_UDMA=y

  CONFIG_TI_SCI_PROTOCOL=y

  CONFIG_DM_PCA953X=y

  CONFIG_DM_I2C=y
  CONFIG_I2C_SET_DEFAULT_BUS_NUM=y
  CONFIG_SYS_I2C_OMAP24XX=y

  CONFIG_DM_KEYBOARD=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_PHY_TI=y
  CONFIG_PHY_FIXED=y
  CONFIG_DM_ETH=y

  CONFIG_E1000=y
  CONFIG_CMD_E1000=y

  CONFIG_TI_AM65_CPSW_NUSS=y

  CONFIG_PCI=y
  CONFIG_DM_PCI=y
  CONFIG_PCI_KEYSTONE=y

  CONFIG_PHY=y

  CONFIG_AM654_PHY=y

  CONFIG_OMAP_USB2_PHY=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_REMOTEPROC_TI_K3_R5F=y

  CONFIG_DM_RESET=y
  CONFIG_RESET_TI_SCI=y
  CONFIG_DM_SERIAL=y

  CONFIG_SOC_TI=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_USB_XHCI_HCD=y
  CONFIG_USB_XHCI_DWC3=y
  CONFIG_USB_DWC3=y

  CONFIG_USB_DWC3_GENERIC=y

  CONFIG_USB_KEYBOARD=y

  CONFIG_USB_GADGET=y
  CONFIG_USB_GADGET_MANUFACTURER="Texas Instruments"
  CONFIG_USB_GADGET_VENDOR_NUM=0x0451
  CONFIG_USB_GADGET_PRODUCT_NUM=0x6162
  CONFIG_USB_GADGET_DOWNLOAD=y

  CONFIG_FAT_WRITE=y

  CONFIG_OF_LIBFDT_OVERLAY=y