PetaLinux is brand name used by Xilinx, it is based on Yocto and pretty decent mainstream kernel, what Petalinux adds is the HSI (Hardware Software Interface from Vivado) and special tools for boot image creation.

Table of Content



Getting Linux working on Zynq is very simple, following steps are required

  1. Vivado/SDK/PetaLinux 2015.4 installed
  2. Create Vivado Project, configure PS, Export HDF
  3. Ceate new PetaLinux project
  4. Import HDF into project
  5. petalinux-build
  6. copy boot.bin and image.ub to SD Card

This is generic how-to, everything is setup for your by the Vivado->PetaLinux flow. Note, the boot.bin generated by PetaLinux may not always work, in such case it is recommended to make the boot.bin with SDK-GUI or command line tools manually.

There is no need to install anything else, or to fetch anything from any github repos, etc.


PetaLinux Installation


Creating a Project from Vivado Project

Petalinux Configuration

Most settings can be changed with menu-config. There are 3 more files that user can edit, they are

system-top.dtsDevice tree changes are to be applied here
platform-top.hU-boot changes are to be applied here
fsbl_hooks.cFSBL changes are to be applied here

There should be no reason to modify any other files by editing them (most of them are generated and would be overwritten).


  1. PetaLinux Tools User Guide - Installation Guide (UG976)
  2. PetaLinux Tools User Guide - Getting Started Guide (UG977)
  3. PetaLinux Tools Documentation -Reference Guide (UG1144)
  4. PetaLinux Tools Documentation - PetaLinux Command Line Reference (UG1157)