| CONFIG_SYS_TEXT_BASE=0x80080000 |
| CONFIG_SYS_MALLOC_LEN=0x2500000 |
| CONFIG_ENV_OFFSET=0xFFFFE000 |
| CONFIG_DEFAULT_DEVICE_TREE="tegra210-p2571" |
| CONFIG_SYS_PROMPT="Tegra210 (P2571) # " |
| CONFIG_SYS_LOAD_ADDR=0x80080000 |
| CONFIG_SYS_STDIO_DEREGISTER=y |
| CONFIG_SYS_BOOTM_LEN=0x800000 |
| # CONFIG_CMD_IMI is not set |
| CONFIG_CMD_USB_MASS_STORAGE=y |
| # CONFIG_CMD_SETEXPR is not set |
| CONFIG_BOOTP_PREFER_SERVERIP=y |
| # CONFIG_CMD_NFS is not set |
| CONFIG_SYS_RELOC_GD_ENV_ADDR=y |
| CONFIG_SYS_MMC_ENV_PART=2 |
| CONFIG_SYS_DFU_DATA_BUF_SIZE=0x100000 |
| CONFIG_SYS_DFU_MAX_FILE_SIZE=0x2000000 |
| CONFIG_SF_DEFAULT_SPEED=24000000 |
| CONFIG_SPI_FLASH_WINBOND=y |
| CONFIG_USB_GADGET_MANUFACTURER="NVIDIA" |
| CONFIG_USB_GADGET_VENDOR_NUM=0x0955 |
| CONFIG_USB_GADGET_PRODUCT_NUM=0x701a |
| CONFIG_USB_GADGET_DOWNLOAD=y |