For this process you will need:
- A flashing computer, preferably an Ubuntu Linux machine (or VM)
- Micro USB cable, same as the one provided with the Jetson TK1 kit
- Jetson TK1 and power supply
- Optional: DB9 null modem cable
- Download NVIDIA Linux4Tegra (L4T) Board Support Package (BSP) and Sample Root Filesystem from NVIDIA
wget https://developer.nvidia.com/sites/default/files/akamai/mobile/files/L4T/Tegra124_Linux_R19.3.0_armhf.tbz2