Hi Pierre-Hugues, On Fri, Oct 13, 2017 at 7:53 PM, Pierre-Hugues Husson <[email protected]> wrote: > The documentation already mentions "cec" optional clock, but > currently the driver doesn't enable it.
The cec clock is enabled at dw_hdmi_cec_enable().

