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