1Embedded family boards
2======================
3
4- ``bamboo`` bamboo
5- ``mpc8544ds`` mpc8544ds
6- ``ppce500`` generic paravirt e500 platform
7- ``ref405ep`` ref405ep
8- ``sam460ex`` aCube Sam460ex
9- ``taihu`` taihu
10- ``virtex-ml507`` Xilinx Virtex ML507 reference design
11