Install OS in SD card



This instruction requires U-Boot installed in eMMC on Jetson TK1.
U-Boot is installed when you install Linux for Tegra R21 in eMMC. This is how to do it.
If you buy a new Jetson TK1, it would comes with Linux for tegra R19 and fastboot is installed as boot loader.
U-Boot in Linux for Tegra R21 tries to boot from SD card first. If it failed to boot from SD card, it tries to boot from eMMC.
This instruction will not work if you want to boot from SD card through USB SD card reader.


  1. Login to machine to setup SD card
  2. You can setup SD card with Jetson TK1 or Host PC with Linux and SD card slot.
  3. Format SD card to ext4
  4. this site might help to find optimal parameter.
    sudo mkfs.ext4 /dev/mmcblk1p1
  5. Download Linux For Tegra R21.4 and Sample File System(Ubuntu 14.04.1 LTS)
  6. $ wget
    $ wget
  7. Mount SD card and extract them to SD card
  8. $ sudo tar xpf Tegra124_Linux_R21.4.0_armhf.tbz2
    $ sudo mount /dev/mmcblk1p1 Linux_for_Tegra/rootfs
    $ cd Linux_for_Tegra/rootfs
    $ sudo tar xpf ../../Tegra_Linux_Sample-Root-Filesystem_R21.4.0_armhf.tbz2
  9. Run the script to copy the NVIDIA libraries into rootfs directory
  10. $ cd ..
    $ sudo ./
  11. Copy extlinux.conf file
  12. Path to a kernel file and kernel parameters are written in /boot/extlinux/extlinux.conf.
    U-Boot read this file and load kernel.
    If U-Boot failed to read this file, it tries to boot from other storage.
    $ cd rootfs/boot/extlinux/
    $ sudo cp jetson-tk1_extlinux.conf.sdcard extlinux.conf
  13. unmount SD card
  14. $ cd ../../../
    $ sync
    $ sudo umount rootfs
  15. Insert SD card to Jetson tk1 if it is not
  16. Reboot Jetson
  17. $ sudo reboot
  18. Login to your Jetson TK1
  19. Check Root file system size
  20. $ df -h
  21. Execute following command in Jetson TK1
  22. $ sudo apt-add-repository universe
    #Keep Jetson specific driver files.
    $ sudo apt-mark hold xserver-xorg-core
    #Update system
    $ sudo apt-get update
    $ sudo apt-get upgrade
  23. Check whether Jetson specific driver files are not over written
  24. sha1sum -c /etc/nv_tegra_release
If you use Jetson TK1 "The Grinch" Custom Kernel 21.3.4 by Santyago, start from "3) Download Grinch Kernel" in first post in this topic.


If you will use the shell command-line a lot.
$ sudo apt-get install bash-completion command-not-found
You can update Ubuntu with following command next time.
$ sudo apt-get update
$ sudo apt-get upgrade
These command don't update drivers for Jetson TK1.
New drivers for Jetson TK1 will be released here.