Hi Adrian, When I attempt to build the linux-xilinx kernel, it doesn't find the device tree (*.dts) in the xilinx-ml507-update BSP project. Is the device tree supposed to be generated manually? If so, could you please tell me how to generate it? Best regards, Elvis Dowson