Skip to content

Device Tree generation from XSA

Andre Pinho requested to merge 79-dt-gen into master

In this MR, the device tree provided by DIOT is dynamically generated by the XSA provided by Vivado (instead of being static), addressing issue #79 (closed).

A new entry point for DT is also provided in the form of devicetree/project/diot_v2/user_dt_ps.dtsi and devicetree/project/diot_v2/user_dt_pl.dtsi, which also resolves issue #74 (closed).

The build system was also updated for the devicetree to be well generated, and its outputs to be used by U-boot (instead of the static DT).

Comparing to the DT provided on linux-debian, these are the notable differences in the generated DT:

  • CCI400 (Arm CoreLink CCI-400 Cache Coherent Interconnect) is now enabled
  • Triple-Timer Counter (timer@ff110000) is now enabled
  • video_clk frequency was bumped from 27MHz to 33.333MHz

None of these raise a problem for the system

Edited by Andre Pinho

Merge request reports