Hi Pierre-Hugues,On Fri, Oct 13, 2017 at 7:53 PM, Pierre-Hugues Husson <phh@phh.me> 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().