The Jetson TK1 is development board from NVIDIA based on the Tegra K1 chip (also known as Tegra 124). The Tegra K1 (codenamed "Logan") features a quad-core 32-bit ARM Cortex-A15 CPU and Kepler GPU (GK20A) with 192 CUDA cores. The Jetson TK1 can run Debian's armhf port.

U-Boot

Current versions of the Jetson TK1 ship with U-Boot. If you have an old version, you may have to upgrade to U-Boot first.

You have two options to install U-Boot. You can either install U-Boot provided by NVIDIA or by Debian.

In order to flash U-Boot to your Jetson, you have to put it in recovery mode:

U-Boot from NVIDIA

Please obtain the Linux For Tegra R21.4 driver package (Tegra124_Linux_R21.4.0_armhf.tbz2) from NVIDIA's developer site.

Unpack the tar ball, go to the Linux_for_Tegra directory and run:

sudo ./flash.sh jetson-tk1 mmcblk1p1

Your Jetson should now run U-Boot version 2014.10-rc2.

You can interrupt the boot process by pressing a key via the serial console.

U-Boot from Debian

Debian provides an U-Boot image for the Jetson TK1. In order to install U-Boot from Debian, please obtain the Linux For Tegra R19.3 driver package (Tegra124_Linux_R19.3.0_armhf.tbz2) from NVIDIA's developer site.

/!\ Please note that versions R21.1 to R21.4 can not be used to flash Debian's U-Boot.

If you're running Debian stretch, you can install the Tegra U-Boot package on your host:

sudo dpkg --add-architecture armhf
sudo apt-get update
sudo apt-get install u-boot-tegra:armhf

If you're on an older version of Debian, you can download the package and unpack it somewhere.

Now flash U-Boot to your Jetson:

sudo ./flash.sh -L /usr/lib/u-boot/jetson-tk1/u-boot-dtb-tegra.bin jetson-tk1 mmcblk1p1

(Change the location of the jetson-tk1 directory if you unpackaged the package manually.)