On Mon, Dec 19, 2005 at 03:07:05PM +0200, Eduardo Trápani wrote: > I downloaded the sources from kernel.org, but there is no arch/ppc64 ... > > I bet I'm missing something obvious, but I cannot find it. Yep, ppc64 has folded into the new shared 32/64-bit powerpc arch (arch/powerpc), and is now controlled by config options therein. -Olof