jetson-tk1_defconfig (revision 8f005b3918cc16bb3e8f6d7228c27d207f4c606f) - OpenGrok cross reference for /rk3399_rockchip-uboot/configs/jetson-tk1

1CONFIG_SPL=y
2+S:CONFIG_ARM=y
3+S:CONFIG_TARGET_JETSON_TK1=y
4