Linux device tree generator for the Xilinx SDK (Vivado > 2014.1) - View it on GitHub