[...] >> + >> + soc_refclk85mhz: clock-85000000 { >> + compatible = "fixed-clock"; >> + #clock-cells = <0>; >> + clock-frequency = <85000000>; >> + clock-output-names = "iofpga:aclk"; > > If this is ACLK for the IOFPGA outside the SoC, why is it called soc_refclk85mhz? > > Not that it seems to be used in this patch series. > Good catch. Indeed, it is not used in this series and the name and placement are incorrect. I can either rename it and move it to the board file or remove it and add it again in future. [...] >> + >> + i2c0: i2c@1c0f0000 { > > The I2C controller lives in the IOFGPA on the board, not the SoC. > >> + compatible = "cdns,i2c-r1p14"; >> + reg = <0x0 0x1c0f0000 0x0 0x1000>; >> + interrupts = <GIC_SPI 138 IRQ_TYPE_LEVEL_HIGH>; >> + clocks = <&dpu_aclk>; >> + >> + #address-cells = <1>; >> + #size-cells = <0>; >> + >> + status = "disabled"; >> + >> + hdmi_tx: hdmi-transmitter@70 { > > The transmitter is a discrete chip on the board, not the SoC. > Agreed on both the points, please have a look at my reply to Rob. > Jess [...] -- Regards, Vincenzo