On 06/28/2018 11:08 PM, Dennis Clarke wrote: >> This is just the kernel. Your userland is still 32-bit, I assume: >> >> dpkg --print-architecture > > root@nix:~# dpkg --print-architecture > ppc64
The ppc64 port was neither part of this discussion nor was it ever officially supported as an official Debian release. The original discussion was around powerpc which is 32-bit. Adrian -- .''`. John Paul Adrian Glaubitz : :' : Debian Developer - glaub...@debian.org `. `' Freie Universitaet Berlin - glaub...@physik.fu-berlin.de `- GPG: 62FF 8A75 84E0 2956 9546 0006 7426 3B37 F5B5 F913