Groups | Search | Server Info | Keyboard shortcuts | Login | Register [http] [https] [nntp] [nntps]


Groups > linux.debian.bugs.dist > #1050320

Bug#983759: Enable CONFIG_DRM_DW_HDMI_CEC on arm64

From Punit Agrawal <punitagrawal@gmail.com>
Newsgroups linux.debian.bugs.dist, linux.debian.kernel
Subject Bug#983759: Enable CONFIG_DRM_DW_HDMI_CEC on arm64
Date 2021-03-01 13:50 +0100
Message-ID <BNQ9P-6T2-5@gated-at.bofh.it> (permalink)
Organization linux.* mail to news gateway

Cross-posted to 2 groups.

Show all headers | View raw


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/

Back to linux.debian.bugs.dist | Previous | Next | Find similar | Unroll thread


Thread

Bug#983759: Enable CONFIG_DRM_DW_HDMI_CEC on arm64 Punit Agrawal <punitagrawal@gmail.com> - 2021-03-01 13:50 +0100

csiph-web