On Tue, Apr 05, 2016 at 08:19:13AM +0200, Mathieu Malaterre wrote: > I was recently told by aurel32@d.o that ppc32 kernels do not run on a > ppc64 CPU. So if one wants to run a Debian kernel [1], we are pretty > much required to be running a ppc64 kernel. > This is the current situation with partch.d.o. > > [1] 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). -- Len Sorensen
