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