A Linux-based PC

We recommend Ubuntu 12.04.

A Pandaboard

Our test platform is Pandaboard ES (OMAP4460) Rev B1. The OMAP4430-based Panda should work as well. For basic hardware setup of Pandaboard see TI’s guide.

A SD card

Capacity > 2GB. For a list of recommended SD cards see omappedia.

A UART-to-USB cable

To connect the Panda and the PC.

Flash the image

On your PC, plug in the SD card and run the following commands.


  • The image is about 1.3GB. md5sum

  • You may need to be root. Be very careful.

  • Replace sdX with the device file of your SD card.

cd /tmp/
# Put it on to a SD card.
gzip -dc k2-panda.img.gz | dd of=/dev/sdX

Now go ahead to plug the SD card in Panda and power it on.

The entire K2 binary release is published here.

Boot K2

Power on Panda to boot the 1st kernel for Cortex-A9, then open a serial console on PC:

cd /tmp/ && sudo TERM=linux minicom -D /dev/ttyUSB0 -c on -w -C minicom.txt

In the Panda console, boot the 2nd kernel for Cortex-M3:

(panda)$ cd /root/ && ./load

(panda)$ cat remoteproc1/trace0 # see M3 kernel dbg output