On Sat, 2011-04-16 at 14:07 -0400, John David Anglin wrote: > I posted this debian bug report because the most recent debian > SMP kernel build fails to boot on my rp3440: > http://bugs.debian.org/cgi-bin/bugreport.cgi?bug=622997 > > I don't think debian kernels have worked since lenny. Hmm, well upstream ones have: so it's likely a patch debian has but upstream doesn't, or it could be a toolchain issue ... I didn't think gcc-4.4.5 worked properly on 64 bit without a few patches? James -- To unsubscribe from this list: send the line "unsubscribe linux-parisc" in the body of a message to majordomo@xxxxxxxxxxxxxxx More majordomo info at http://vger.kernel.org/majordomo-info.html
