For this process you will need:
- A host desktop or laptop computer running Ubuntu Linux 12.04. This may be a VM, I've used VirtualBox.
- Micro USB cable provided with the Jetson TK1 kit
- Jetson TK1 and power supply
- Optional: DB9 null modem cable if you want to use the serial console during boot
- On your host computer open a Terminal, then create a directory to operate from, and switch to it. As an example:
mkdir ~/Grinch
cd ~/Grinch