到 TK1官网 下载刷机包: Jet TK1 Driver Package 与 L4T Sample Root Filesystem
在页面中做如下选择, 可以过滤出上面的2种包：
PRODUCT: Jetson TK1
HARDWARE: 全选
TOOLS: Setup
其余项：不选
接下来按照文章 http://blog.csdn.net/deyili/article/details/51011836 种的描述进行刷机。
下载tk1的cuda安装包 http://developer.download.nvidia.com/embedded/L4T/r21_Release_v3.0/cuda-repo-l4t-r21.3-6-5-prod_6.5-42_armhf.deb
安装参考：http://blog.csdn.net/deyili/article/details/51011959
参考：http://blog.csdn.net/hubai789/article/details/50868717
原文：http://www.cnblogs.com/ziyu-trip/p/6730618.html