Re: Adding more ppc64 buildds from the POWER cloud
On Tue, Apr 05, 2016 at 08:19:13AM +0200, Mathieu Malaterre wrote:
> I was recently told by firstname.lastname@example.org that ppc32 kernels do not run on a
> ppc64 CPU. So if one wants to run a Debian kernel , we are pretty
> much required to be running a ppc64 kernel.
> This is the current situation with partch.d.o.
>  https://www.debian.org/releases/jessie/powerpc/ch02s01.html.en#idp50581248
Yes but I was talking about user space. Debian powerpc already includes
a 64bit kernel which is required to work on 64bit machines and allow
more than 4GB ram in the machine, but user space works just fine as
32bit for almost everything (might want 64 bit for postgres and such).