/conf/machine/
../
boards
include
microzed-zynq7.conf
ml405-virtex4-ppc405.conf
ml507-virtex5-ppc440.conf
zc702-base-trd-zynq7.conf
zc706-pcie-trd-zynq7.conf
ze7000-zynq7.conf
zx3-pm3-zynq7.conf