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

Reply via email to