https://ubuntu.com/server/docs/how-to/installation/how-to-start-a-live-server-installation-on-ibm-power-ppc64el-with-a-virtual-cd-rom-and-petitboot/
How to start a live server installation on IBM Power (ppc64el) with a virtual CD-ROM and Petitboot...
Dec 10, 2025 - Install Ubuntu Server on IBM Power (ppc64el) using a virtual CD-ROM with Petitboot and ipmitool for remote installation.
https://www.mail-archive.com/debian-boot@lists.debian.org/msg186641.html
Bug#1106757: ppc64el Trixie: Need default 64KB page kernel or installer option
https://www.debian.org/releases/forky/ppc64el/pr01.ro.html
Instalarea Debian GNU/Linux 13 pentru ppc64el
debian gnu linux13pentruppc64el
https://www.debian.org/releases/trixie/ppc64el/pr01.es.html
Instalar Debian GNU/Linux 13 en ppc64el
debian gnu linuxinstalar13enppc64el
https://www.debian.org/releases/forky/ppc64el/pr01.fr.html
Installer Debian GNU/Linux 13 sur ppc64el
debian gnu linuxinstaller13surppc64el