| CONFIG_ARM=y | |
| CONFIG_TEGRA=y | |
| CONFIG_TEGRA124=y | |
| CONFIG_TARGET_JETSON_TK1=y | |
| CONFIG_DEFAULT_DEVICE_TREE="tegra124-jetson-tk1" | |
| # 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_SPI_FLASH=y | |
| CONFIG_USB=y | |
| CONFIG_DM_USB=y | |
| CONFIG_USE_PRIVATE_LIBGCC=y |