How to configure Debian Linux environment for Xilinx Zynq. - View it on GitHub