changed petalinux to linux