VxWorks- Help Required!

Hi all! We are looking to setup an RTOS lab in our institue for research and other purposes. Its going to be VxWorks. Now there is a jinx to go for either ARM processor or PowerPC? If anyone could help please? Thanks and regards, Hemant Malik