PandaBoard is a powerful and well known ARM development platform from Texas Instruments. This page covers short reference instruction on how to build, configure and run ICS virtualized Android 4.0 system for PandaBoard that uses prebuilt fielsystem images.


Download the source code:

$ git clone
$ cd codezero-meta
$ git clone
$ git clone
$ git clone

Checkout the matching linux branch:

$ cd linux
$ git checkout panda
$ cd ..

Load the single-panda-ics meta-config and (optionally) configure the setup

$ ./ single-panda-ics
$ make menuconfig # optional


$ make

Download binaries from here. It contains the following files

  • MLO – X-Loader
  • u-boot.bin – U-boot
  • system.img – Android filesystem’s system binary image
  • userdata.img – Android filesystem’s userdata binary image
  • ramdisk.img – Android filesystem’s system ramdisk image

Build paravirt-boot.img:

$ make tools/mkbootimg
$ ./tools/mkbootimg --kernel Image --ramdisk ramdisk.img -o paravirt-boot.img --base 0x80000000 \
  --kernel_addr 0xbe800000

Install AOSP tools and configure fastboot device access by following the Installing AOSP host tools and Configuring USB Access sections of the Initializing the Host Environment page.

Format the SD card using

$ ./tools/

This will create a FAT partition named boot, and an EXT3 partition named rootfs on the SD card.

Eject and re-plug the card on the host.

Copy MLO and u-boot.bin in the boot partition of the SD card.

Eject the card and plug it into the panda board.

Connect the board to the host machine via Mini-USB to USB converter.

Plug the HDMI display and USB keyboard/mouse to the panda board.

Connect the serial port of panda board to the host using serial to usb converter. And attach minicom to the serial converter device to get the panda boot logs and serial console

$ minicom -D /dev/ttyUSBn; here /dev/ttyUSBn is the usb to serial converter device.

Configure Minicom’s serial port for following settings

Baud Rate: 115200n8
Hardware flow control: OFF
Software flow control: OFF

Power on the board with Switch S2 key pressed, making the board go into the fastboot mode.

Flash the kernel and the filesystem on the SD card and boot

$ fastboot oem format
$ fastboot flash xloader MLO
$ fastboot flash bootloader u-boot.bin
$ fastboot erase cache
$ fastboot flash system system.img
$ fastboot flash userdata userdata.img
$ fastboot flash boot paravirt-boot.img
$ fastboot reboot

Comments are closed.