1CONFIG_SPL=y
2CONFIG_SYS_EXTRA_OPTIONS="FLASHCARD"
3CONFIG_ARM=y
4CONFIG_OMAP34XX=y
5CONFIG_TARGET_TRICORDER=y
6CONFIG_DM=n
7CONFIG_DM_SERIAL=n
8CONFIG_DM_GPIO=n
9