Package: linux-image-arm64 Severity: normal Hi, I am using Debian on a RK3399 based RockPro64[0] connected to a CEC enabled TV. The HDMI port on the board supports CEC - I was able to verify this in a local kernel build with CONFIG_DRM_DW_HDMI_CEC enabled. It would be great if this driver could be enabled in the Debian kernel package as a module. Thanks, Punit [0] https://www.pine64.org/rockpro64/