- Login to machine to setup SD card
You can setup SD card with Jetson TK1 or Host PC with Linux and SD card slot.
- Format SD card to ext4
this site
might help to find optimal parameter.
sudo mkfs.ext4 /dev/mmcblk1p1
- Download Linux For Tegra R21.4 and Sample File System(Ubuntu 14.04.1 LTS)
$ wget http://developer.download.nvidia.com/embedded/L4T/r21_Release_v4.0/Tegra124_Linux_R21.4.0_armhf.tbz2
$ wget http://developer.download.nvidia.com/embedded/L4T/r21_Release_v4.0/Tegra_Linux_Sample-Root-Filesystem_R21.4.0_armhf.tbz2
- Mount SD card and extract them to SD card
$ 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
- Run the apply_binaries.sh script to copy the NVIDIA libraries into rootfs directory
$ cd ..
$ sudo ./apply_binaries.sh
- Copy extlinux.conf file
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
- unmount SD card
$ cd ../../../
$ sync
$ sudo umount rootfs
- Insert SD card to Jetson tk1 if it is not
- Reboot Jetson
$ sudo reboot
- Login to your Jetson TK1
- Check Root file system size
$ df -h
- Execute following command in Jetson TK1
$ 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
- Check whether Jetson specific driver files are not over written
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