Debian is offering ppc64le and riscv64 base container images, but not ppc64 :
https://hub.docker.com/_/debian <https://hub.docker.com/_/debian> I thought ppc64le would fit any 64 bit POWER machine ? Anyhow, I used Debian packages as convenience to get fast results. Many other solutions could be used in the long run.
