> which debian do you use? --> the 32 bit or the ppc64 port? 32 bits port with 64 bits kernel, though I never use distro kernels, I always build my own Ben.