xref: /rk3399_rockchip-uboot/configs/jetson-tk1_defconfig (revision d6d07a9bec3bc30a58c45f8e6343c92dfef96fee) 
1+S:CONFIG_ARM=y
2+S:CONFIG_TEGRA=y
3+S:CONFIG_TEGRA124=y
4+S:CONFIG_TARGET_JETSON_TK1=y
5