| CONFIG_SYS_TEXT_BASE=0x80110000 |
| CONFIG_SYS_MALLOC_F_LEN=0x2000 |
| CONFIG_ENV_OFFSET=0xFFFFDE00 |
| CONFIG_SPL_TEXT_BASE=0x80108000 |
| CONFIG_TARGET_COLIBRI_T30=y |
| CONFIG_DEFAULT_DEVICE_TREE="tegra30-colibri" |
| CONFIG_SYS_STDIO_DEREGISTER=y |
| # CONFIG_DISPLAY_BOARDINFO is not set |
| CONFIG_DISPLAY_BOARDINFO_LATE=y |
| CONFIG_SYS_PROMPT="Colibri T30 # " |
| # CONFIG_CMD_IMI is not set |
| CONFIG_CMD_USB_MASS_STORAGE=y |
| # CONFIG_CMD_NFS is not set |
| # CONFIG_SPL_DOS_PARTITION is not set |
| # CONFIG_SPL_EFI_PARTITION is not set |
| CONFIG_SYS_RELOC_GD_ENV_ADDR=y |
| CONFIG_SYS_MMC_ENV_PART=1 |
| CONFIG_TFTP_BLOCKSIZE=16352 |
| CONFIG_USB_GADGET_MANUFACTURER="Toradex" |
| CONFIG_USB_GADGET_VENDOR_NUM=0x1b67 |
| CONFIG_USB_GADGET_PRODUCT_NUM=0x4000 |
| CONFIG_USB_GADGET_DOWNLOAD=y |
| CONFIG_OF_LIBFDT_OVERLAY=y |