| CONFIG_SPL_ENV_SUPPORT=y |
| CONFIG_SYSCON=y |
| CONFIG_SPL_SYSCON=y |
| CONFIG_SYS_DFU_DATA_BUF_SIZE=0x5000 |
| CONFIG_MISC=y |
| CONFIG_USB=y |
| CONFIG_DM_USB_GADGET=y |
| CONFIG_SPL_DM_USB_GADGET=y |
| CONFIG_USB_DWC3=y |
| CONFIG_USB_DWC3_GENERIC=y |
| CONFIG_SPL_USB_DWC3_GENERIC=y |
| CONFIG_SPL_USB_DWC3_AM62=y |
| CONFIG_USB_GADGET=y |
| CONFIG_SPL_USB_GADGET=y |
| CONFIG_USB_GADGET_MANUFACTURER="Texas Instruments" |
| CONFIG_USB_GADGET_VENDOR_NUM=0x0451 |
| CONFIG_USB_GADGET_PRODUCT_NUM=0x6165 |
| CONFIG_USB_GADGET_DOWNLOAD=y |
| CONFIG_SPL_DFU=y |
| # CONFIG_SPL_MMC is not set |
| # CONFIG_SPL_FS_FAT is not set |
| # CONFIG_SPL_LIBDISK_SUPPORT is not set |
| # CONFIG_SPL_SPI is not set |
| # CONFIG_SPL_SYS_MALLOC is not set |
| # CONFIG_CMD_GPT is not set |
| # CONFIG_CMD_MMC is not set |
| # CONFIG_CMD_FAT is not set |
| # CONFIG_MMC_SDHCI is not set |