Can anyone share me any related links/documents on how to flash ‘3.13.0-117-generic’ Linux to Jetson TX1?
please refer to JetPack release note for supported kernel version, https://developer.nvidia.com/embedded/jetpack
we did not support kernel-3.13.0 officially. however, you could flash the image with kernel-3.10 and port kernel-3.13.0 by your own.
please take a try to replace /boot/Image and /boot/tegra210-jetson-tx1-p2597-2180-a01-devkit.dtb with your own build kernel image and device tree.