Where is the 64-bit ppc FreeBSD ?

[Dennis Clarke]

Well I don't know how else to ask but where is the 64-bit ppc FreeBSD ?

I just checked again and I did boot the dvd that I fetched from
https://download.freebsd.org/ftp/releases/ISO-IMAGES/12.0/ and what I
get is a 32-bit system. The live dvd is 32-bit. The compiler can only
produce 32-bit output and well here we are.

So then, is there some magic to utter to the boot loader or something I
am missing ?

Dennis