| CONFIG_ARM=y |
| CONFIG_ARCH_CPU_INIT=y |
| # CONFIG_SYS_THUMB_BUILD is not set |
| CONFIG_ARCH_OMAP2PLUS=y |
| CONFIG_SYS_TEXT_BASE=0x30000000 |
| CONFIG_SYS_MALLOC_F_LEN=0x400 |
| CONFIG_ENV_SIZE=0x10000 |
| CONFIG_ENV_OFFSET=0x110000 |
| CONFIG_ENV_SECT_SIZE=0x10000 |
| CONFIG_DM_GPIO=y |
| CONFIG_DEFAULT_DEVICE_TREE="am437x-sk-evm" |
| CONFIG_AM43XX=y |
| CONFIG_ENV_OFFSET_REDUND=0x120000 |
| CONFIG_DISTRO_DEFAULTS=y |
| CONFIG_QSPI_BOOT=y |
| CONFIG_BOOTCOMMAND="run findfdt; run finduuid; run distro_bootcmd" |
| CONFIG_SYS_CONSOLE_INFO_QUIET=y |
| CONFIG_BOARD_EARLY_INIT_F=y |
| # CONFIG_MISC_INIT_R is not set |
| CONFIG_SYS_MAXARGS=64 |
| CONFIG_CMD_ASKENV=y |
| CONFIG_CMD_DFU=y |
| CONFIG_CMD_GPIO=y |
| CONFIG_CMD_GPT=y |
| CONFIG_CMD_I2C=y |
| CONFIG_CMD_MMC=y |
| CONFIG_CMD_SPI=y |
| CONFIG_CMD_USB=y |
| # CONFIG_CMD_SETEXPR is not set |
| CONFIG_BOOTP_DNS2=y |
| CONFIG_CMD_EXT4_WRITE=y |
| CONFIG_OF_CONTROL=y |
| CONFIG_OF_LIST="am4372-generic am437x-sk-evm am437x-idk-evm" |
| CONFIG_DTB_RESELECT=y |
| CONFIG_MULTI_DTB_FIT=y |
| CONFIG_ENV_OVERWRITE=y |
| CONFIG_ENV_IS_IN_SPI_FLASH=y |
| CONFIG_SYS_REDUNDAND_ENVIRONMENT=y |
| CONFIG_SYS_RELOC_GD_ENV_ADDR=y |
| CONFIG_ENV_VARS_UBOOT_RUNTIME_CONFIG=y |
| CONFIG_VERSION_VARIABLE=y |
| CONFIG_NET_RETRY_COUNT=10 |
| CONFIG_BOOTP_SEND_HOSTNAME=y |
| CONFIG_SYS_RX_ETH_BUFFER=64 |
| CONFIG_DM=y |
| CONFIG_DFU_MMC=y |
| CONFIG_DFU_RAM=y |
| CONFIG_DFU_SF=y |
| CONFIG_SPL_SYS_I2C_LEGACY=y |
| CONFIG_MMC_OMAP_HS=y |
| CONFIG_SF_DEFAULT_SPEED=48000000 |
| CONFIG_SPI_FLASH_MACRONIX=y |
| CONFIG_MII=y |
| CONFIG_DRIVER_TI_CPSW=y |
| CONFIG_SPL_POWER_LEGACY=y |
| CONFIG_SPL_POWER_I2C=y |
| CONFIG_SYS_NS16550=y |
| CONFIG_SPI=y |
| CONFIG_TI_QSPI=y |
| CONFIG_USB=y |
| CONFIG_USB_XHCI_HCD=y |
| CONFIG_USB_XHCI_DWC3=y |
| CONFIG_USB_XHCI_OMAP=y |
| CONFIG_USB_DWC3=y |
| CONFIG_USB_DWC3_OMAP=y |
| CONFIG_USB_DWC3_PHY_OMAP=y |
| CONFIG_USB_GADGET=y |
| CONFIG_USB_GADGET_MANUFACTURER="Texas Instruments" |
| CONFIG_USB_GADGET_VENDOR_NUM=0x0403 |
| CONFIG_USB_GADGET_PRODUCT_NUM=0xbd00 |
| CONFIG_USB_GADGET_DOWNLOAD=y |