The user guide for Xilinx PetaLinux 2015.4 installation is UG1144. It is best used together with Xilinx Vivado 2015.4 version (see my last post about how to install Vivado). More info about PetaLinux embedded OS can be found on Xilinx Products page, and on the Xilinx Wiki site.

Firstly, go to the Xilinx Downloads page to obtain the installer. Select version 2015.4 on the left sidebar. Choose “PetaLinux 2015.4 Installer”. It is a single-file executable that is 1.68 GB large. Note: you have to be a registered user to download it.

Before you proceed, make sure all the prerequisites are satisfied:

sudo apt-get install tofrodos iproute gawk gcc git-core make net-tools \
    libncurses5-dev tftpd zlib1g-dev libssl-dev flex bison libselinux1 \
    lib32z1 lib32ncurses5 lib32bz2-1.0 lib32stdc++6 \

Change /bin/sh to bash

sudo dpkg-reconfigure dash
# --> Select <No>

Now install PetaLinux into the /opt/PetaLinux directory. The installer is a shell script that runs in the terminal.

chmod +x
sudo ./ /opt/PetaLinux

Press ENTER to see the licenses, q to quit reading the licenses, and y + ENTER to accept the licenses. The installation should last for about 15-30 mins.

Every time you want to use PetaLinux tools, remember to source the “settings” script to have the right environment variables:

source /opt/PetaLinux/petalinux-v2015.4-final/

The following is a super simple walkthrough of how to use PetaLinux tools.

  1. To create a PetaLinux project using Zynq for instance:

    petalinux-create -t project -n MYPROJECT --template zynq
  2. Get hardware description from Vivado. The hardware description is usually exported by Vivado into e.g. MYVIVADOPROJECT.sdk of a Vivado project.

    petalinux-config --get-hw-description=MYVIVADOPROJECT.sdk
  3. Make necessary changes to rootfs and device tree (using petalinux -c rootfs or directly editing files under subsystems/linux/configs/). Then, build the embedded OS for Zynq:

  4. Make the SD card image:

    cd images/linux
    petalinux-package --boot --fsbl zynq_fsbl.elf --fpga system_wrapper.bit --uboot
  5. Copy BOOT.BIN and image.ub in that directory to the SD card and use the SD card to boot the Zynq hardware.