4.13. PowerPC boards

Not all supported boards have a description here.

• 4.13.1. Phytec phyCORE-MPC5200-Tiny