| CONFIG_SYS_HAS_NONCACHED_MEMORY=y |
| CONFIG_TEXT_BASE=0x80110000 |
| CONFIG_SF_DEFAULT_SPEED=24000000 |
| CONFIG_ENV_OFFSET=0xFFFFE000 |
| CONFIG_DEFAULT_DEVICE_TREE="tegra30-cardhu" |
| CONFIG_SPL_TEXT_BASE=0x80108000 |
| CONFIG_SPL_STACK=0x800ffffc |
| CONFIG_SYS_LOAD_ADDR=0x81000000 |
| CONFIG_SYS_STDIO_DEREGISTER=y |
| CONFIG_SPL_FOOTPRINT_LIMIT=y |
| CONFIG_SPL_MAX_FOOTPRINT=0x8000 |
| # CONFIG_SPL_SHARES_INIT_SP_ADDR is not set |
| CONFIG_SPL_HAS_CUSTOM_MALLOC_START=y |
| CONFIG_SPL_CUSTOM_SYS_MALLOC_ADDR=0x80090000 |
| CONFIG_SPL_SYS_MALLOC_SIZE=0x10000 |
| CONFIG_SYS_PROMPT="Tegra30 (Cardhu) # " |
| # CONFIG_CMD_IMI is not set |
| # CONFIG_CMD_SETEXPR 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=2 |
| CONFIG_SPI_FLASH_WINBOND=y |