On 04/05/2016 08:28 AM, Lennart Sorensen wrote: > 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). >
+1
signature.asc
Description: OpenPGP digital signature