Groups | Search | Server Info | Keyboard shortcuts | Login | Register [http] [https] [nntp] [nntps]
Groups > linux.debian.kernel > #66790
| From | Martijn van de Streek <martijn@zeewinde.xyz> |
|---|---|
| Newsgroups | linux.debian.bugs.dist, linux.debian.kernel |
| Subject | Bug#956951: CONFIG_DRM_VC4_HDMI_CEC is not enabled |
| Date | 2020-04-17 09:10 +0200 |
| Message-ID | <zWtip-R7-7@gated-at.bofh.it> (permalink) |
| Organization | linux.* mail to news gateway |
Cross-posted to 2 groups.
Package: linux Version: 5.5.0-1-amd64 Severity: minor I would like to use CEC to control my TV that's connected to my Raspberry Pi using HDMI. For that to work using the built-in HDMI port of the Pi, the kernel needs the configuration option CONFIG_DRM_VC4_HDMI_CEC to be enabled. Best regards, Martijn
Back to linux.debian.kernel | Previous | Next — Next in thread | Find similar | Unroll thread
Bug#956951: CONFIG_DRM_VC4_HDMI_CEC is not enabled Martijn van de Streek <martijn@zeewinde.xyz> - 2020-04-17 09:10 +0200 Bug#956951: marked as done (CONFIG_DRM_VC4_HDMI_CEC is not enabled) "Debian Bug Tracking System" <owner@bugs.debian.org> - 2021-01-21 15:20 +0100
csiph-web