ここに書かれているコンフィグレーションは、次のような3種類。
QEMU用 bash> make ARCH=arm xilinx_qemu_defconfig EP107用 bash> make ARCH=arm xilinx_defconfig ZC702/ZC770用 bash> make ARCH=arm xilinx_zynq_defconfig
検証、Verification、FPGA