| CONFIG_ARM=y | |
| CONFIG_OMAP34XX=y | |
| CONFIG_TARGET_TRICORDER=y | |
| CONFIG_SPL=y | |
| CONFIG_SYS_EXTRA_OPTIONS="FLASHCARD" | |
| # 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_NET is not set | |
| # CONFIG_CMD_NFS is not set |