On Fri, Apr 8, 2016 at 1:02 PM, Mathieu Malaterre <ma...@debian.org> wrote: > Dear all, > > Does anyone of you has access to an SMP PPC32 machine ? I need to > check if an issue I am seeing on an SMP PPC64 kernel (PPC32 userland) > can be reproduced on a pure SMP PPC32 machine.
Thanks everyone out there for your kind help. I've managed to track down the issue: https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=819711#36 I do not need access to SMP / PPC32 system anymore. Again thanks much for your (cpu) time ! -M
