| CONFIG_ARM=y |
| CONFIG_TARGET_BCM28155_AP=y |
| CONFIG_SYS_TEXT_BASE=0xae000000 |
| CONFIG_VERSION_VARIABLE=y |
| # CONFIG_DISPLAY_CPUINFO is not set |
| # CONFIG_DISPLAY_BOARDINFO is not set |
| CONFIG_HUSH_PARSER=y |
| # CONFIG_AUTOBOOT is not set |
| CONFIG_CMD_BOOTZ=y |
| CONFIG_CMD_ASKENV=y |
| # CONFIG_CMD_FLASH is not set |
| CONFIG_CMD_GPIO=y |
| CONFIG_CMD_I2C=y |
| CONFIG_CMD_MMC=y |
| # CONFIG_CMD_SETEXPR is not set |
| CONFIG_CMD_CACHE=y |
| CONFIG_CMD_FAT=y |
| CONFIG_EFI_PARTITION=y |
| # CONFIG_PARTITION_UUIDS is not set |
| CONFIG_ENV_IS_IN_MMC=y |
| # CONFIG_NET is not set |
| CONFIG_MMC_SDHCI=y |
| CONFIG_MMC_SDHCI_SDMA=y |
| CONFIG_MMC_SDHCI_KONA=y |
| CONFIG_NAND=y |
| CONFIG_SYS_NS16550=y |
| CONFIG_USB=y |
| CONFIG_USB_GADGET=y |
| CONFIG_USB_GADGET_MANUFACTURER="Broadcom Corporation" |
| CONFIG_USB_GADGET_VENDOR_NUM=0x18d1 |
| CONFIG_USB_GADGET_PRODUCT_NUM=0x0d02 |
| CONFIG_USB_GADGET_DWC2_OTG=y |
| CONFIG_USB_GADGET_DWC2_OTG_PHY_BUS_WIDTH_8=y |
| CONFIG_USB_GADGET_DOWNLOAD=y |