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, email to debian-kernel-requ...@lists.debian.org with a subject of "unsubscribe". Trouble? Contact listmas...@lists.debian.org Archive: http://lists.debian.org/1302980251.4058.11.ca...@mulgrave.site
