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
...
Petalinux Installation
- Download PetaLinux from Xilinx Website: http://www.xilinx.com/support/download/index.html/content/xilinx/en/downloadNav/embedded-design-tools.html
- Choose a PetaLinux Version, that's corresponding to the installed Vivado Version.
- Please check Petalinux Installation Guide (Follow the link on the Download Website or see References)
- Note: it is recommended to test the installation by creating a dummy template project and building it.
Creating a Project from Vivado Project
...
- Hardware Definition File (*.hdf) from the Vivado Project.
- Check the Petalinux documents, create a project (for Zynq or Microblaze)
...
- Take u-boot.elf and image.ub and make BOOT.BIN
...
- . It is recommended to create the FSBL with SDK tools.
Petalinux Configuration
Most settings can be changed with menu-config. There are 3 more files that user can edit, they are
...
There should be no reason to modify any other files by editing them (most of them are generated and would be overwritten).
References
PetaLinux Tools User Guide - Installation Guide (UG976)
- PetaLinux Tools User Guide - Getting Started Guide (UG977)
PetaLinux Tools Documentation - PetaLinux Command Line Reference (UG1157)
PetaLinux Tools Documentation -Reference Guide (UG1144)