1*dd84058dSMasahiro YamadaCONFIG_SPL=y
2*dd84058dSMasahiro YamadaCONFIG_SYS_EXTRA_OPTIONS="BOARD_JETSON_TK1="
3*dd84058dSMasahiro Yamada+S:CONFIG_ARM=y
4*dd84058dSMasahiro Yamada+S:CONFIG_TARGET_JETSON_TK1=y
5