Hi all, in case you got an error message:cp: cannot stat 'images/linux/boot.scr': No such file or directory or cp: cannot stat 'images/linux/bl31.elf': No such file or directory, please make sure to set write permissions for group "others" (or 777 for quick) to parent directory of your petalinux installation folder before building example platform