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.
Please check Petalinux Installation Guide
Note: it is recommended to test the installation by creating a dummy template project and building it.
Export HDF from Vivado
Check the Petalinux documents, create a project (for Zynq or Microblaze)
petalinux-config --get-hw-description
petalinux-build
Take u-boot.elf and image.ub and make BOOT.BIN it is recommended to create the FSBL with SDK tools.
Most settings can be changed with menu-config. There are 3 more files that user can edit, they are
File | Description |
---|---|
system-top.dts | Device tree changes are to be applied here |
platform-top.h | U-boot changes are to be applied here |
fsbl_hooks.c | FSBL 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).