Fedora [0], Red Hat [1], Ubuntu [2], and SUSE [3] all have their own ppc64le ports as well so there are lots of choices out there if anyone is interested.

Even Gentoo has one [4][5]!

[0]: https://alt.fedoraproject.org/alt/

[1]: https://access.redhat.com/documentation/en-us/red_hat_enterp...

[2]: https://ubuntu.com/download/server/power

[3]: https://www.suse.com/products/power/

[4]: https://wiki.gentoo.org/wiki/Handbook:PPC64

[5]: https://www.gentoo.org/downloads/