I downloaded CentOS-7-AltArch-ppc64-Minimal-1611.iso from this link
The /boot folder in this iso image does not contain the Linux Kernel image. The /boot folder just contains a grub folder and TRANS.TBL file. The Linux kernel image (vmlinuz) is in another folder (/ppc/ppc64 ). Due to this mismatch in the path, my freescale T2080 board is failing to boot. When I try to move the Linux Kernel Image in the boot folder, it says I cannot do it because it is a read only file system. Why is the Linux Kernel Image not in /boot in this case? How do I resolve this problem?