Is PowerPC supported?

Yes, using the Linux drivers you can run EDT boards on a PowerPC system.