> This breaks embedded 64-bit build. Replace CONFIG_PPC64 with > CONFIG_PPC_BOOK3S_64 to only hit server when you access the > ppc64_tlb_batch in process.c since it doesn't exist for BOOK3E. > > This patch to fold into yours fixes it for me: With this fix and the other Kconfig fix, it seems to boot fine and no obvious breakage doing simple things on G5 and a power6 machine. Cheers, Ben. -- To unsubscribe from this list: send the line "unsubscribe linux-arch" in the body of a message to majordomo@xxxxxxxxxxxxxxx More majordomo info at http://vger.kernel.org/majordomo-info.html
