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.
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?