I'm looking for documentation about the PPC platform. Mainly about the hardware; the boot process, memory management etc. I have found quite a few documents on the net, but they all assume you're using a x86 PC. Can anyone point me to a (detailed) document (google doesn't come up with anything valuable)?