Linux device tree generator for the Xilinx SDK