4.17. PowerPC boards

Not all supported boards have a description here.

• 4.17.1. Phytec phyCORE-MPC5200-Tiny