Versions Compared


  • This line was added.
  • This line was removed.
  • Formatting was changed.

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


Petalinux Copnfiguration

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

  • system-top.dts
  • platform-top.h
  • fsbl_hookc.c

There should be no reason to modify any other files.