| CONFIG_ARM=y | |
| CONFIG_TEGRA=y | |
| CONFIG_TEGRA20=y | |
| CONFIG_TARGET_TEC=y | |
| CONFIG_DEFAULT_DEVICE_TREE="tegra20-tec" | |
| # CONFIG_CMD_IMI is not set | |
| # CONFIG_CMD_IMLS is not set | |
| # CONFIG_CMD_FLASH is not set | |
| # CONFIG_CMD_FPGA is not set | |
| # CONFIG_CMD_SETEXPR is not set | |
| # CONFIG_CMD_NFS is not set | |
| CONFIG_SPL_DM=y | |
| CONFIG_USB=y | |
| CONFIG_DM_USB=y | |
| CONFIG_USE_PRIVATE_LIBGCC=y | |
| CONFIG_SYS_PROMPT="Tegra20 (TEC) # " |