1CONFIG_SPL=y
2CONFIG_SYS_EXTRA_OPTIONS="FLASHCARD"
3CONFIG_ARM=y
4CONFIG_OMAP34XX=y
5CONFIG_TARGET_TRICORDER=y
6