Hello, just my 2ct with respect to the lacking device tree support in the Xilinx Zynq BSP. This is just a historic accident. The BSP was written before we had any device tree support in RTEMS. In general, I think we should stick to what Linux does on a certain platform. If it boots via a device tree, then the RTEMS BSP should do this as well.