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 much for help. -M