Using u-boot on jeton tk1

Hello all,

I just got a jetson and would like to use it for seL4. So, I need to access u-boot to start my binary.
I connected a display and a keyboard on the board but I did not see any bootloader. Is u-boot installed on the jetson? If yes, how to access it (through serial or the usb cable provided?) If not, is there any documentation/help to install it?

I would like to know how to access it as well and if I need to purchase additional hardware (rs-232 to usb, etc.). If somebody that has done it could provide some feedback, it would be much appreciated.

Sorry if this question seems to have been already addressed - the documentation about flashing seems confusing, that is why I would like to ask.

Thanks!

Jetson TK1 comes with Linux for Tegra (L4T) R19.2. This is fairly old, and defaults to using fastboot. The newer R21.4 is recommended, and uses u-boot (which in turn can boot custom kernels and such just via a text file edit). You can either install R21.4 directly via the driver package+sample rootfs, or use the JetPack 2.1 bundle. The bundle requires a host with Ubuntu 14.04, driver+rootfs works with any 64-bit Linux.
https://developer.nvidia.com/linux-tegra-r214

The 9-pin D-sub connector is set for serial console at speed 119200 115200, 8 bits, no parity, 1 stop bit (119200 115200,8N1).

FYI, the initial Jetson, as it ships, is technically just pure Ubuntu 14.04LTS, and does not have the nVidia-specific files installed which provide the special hardware access “goodies”. This includes video driver for X11. Within the home directory of “ubuntu” is the nVidia installer directory (I forget exact name and am not near my Linux host at the moment)…the run command there installs those files. But as I mentioned, this is only R19.2, you probably want to flash anyway after test driving it.

Please note that I am leaving out the “sudo” prefix to most commands below, but things like unpacking the sample rootfs and apply_binaries.sh require root authority for it to work correctly…so sudo or equivalent is required.

The typical set of instructions for a driver+rootfs type install is to unpack driver package on x86_64 host, go to the rootfs subdirectory, unpack sample rootfs, go back up one directory and run “./apply_binaries.sh” (this is equivalent of the nVidia-specific file install, but to the sample rootfs instead of directly on the Jetson). Then flash takes quite some time (an entire root file system is created)…connect the supplied micro-USB-B cable, put Jetson in recovery mode, and on host run:

flash.sh -S 14580MiB jetson-tk1 mmcblk0p1

This latter from R21.4 will install u-boot in place of fastboot.

Great, thanks! And so, once I have u-boot, to access it, the only way is the serial cable, right? In that case, I would need a null-model cable, right?

Thanks again!

Right!
For instance with screen + USB/RS232 adapter + null modem adapter:

sudo screen /dev/ttyUSB0 115200

If you plan to flash it, http://gigofham.com/archives/62 might be useful.

Oops…I did say 119200 above, it is indeed 115200. Yes, NULL-modem type cable. If your host PC does not have a serial port on it, you can also use a serial UART such as this:
http://www.newegg.com/Product/Product.aspx?Item=N82E16812156039

FYI, serial console as shipped with Jetsons works in both the u-boot stage and when Linux is running.