到 TK1官网 下载刷机包: Jet TK1 Driver Package 与 L4T Sample Root Filesystem
在页面中做如下选择, 可以过滤出上面的2种包：
PRODUCT: Jetson TK1
HARDWARE: 全选
TOOLS: Setup
其余项：不选
接下来按照文章 http://blog.csdn.net/deyili/article/details/51011836 种的描述进行刷机。
2.安装CUDA下载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
3.安装无线网卡驱动参考：http://blog.csdn.net/hubai789/article/details/50868717
4.连接7inch HDMI LCD(C)显示屏把TK1的分辨率设置为1024*768，再连接HDMI显示屏，即可。
问题：连接HDMI显示屏后，重启TK1，屏幕无显示。
解决：确保没有使用串行控制台，检查 /boot/extlinux/extlinux.conf 文件中是否有"console="的字段，有的话去掉。
参考：https://unix.stackexchange.com/questions/178742/jetson-tk1-boot-issues