Groups | Search | Server Info | Keyboard shortcuts | Login | Register [http] [https] [nntp] [nntps]
Groups > linux.debian.bugs.dist > #1004925
| 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.bugs.dist | Previous | Next | 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
csiph-web