Petalinux is a Linux distribution targeting the Xilinx systems. USAGE GUIDANCE : The tag should only be used for the Petalinux distribution
