Bug#951543: Please enable SECO HDMI CEC driver

From	Sébastien Noel <sebastien@twolife.be>
Newsgroups	linux.debian.bugs.dist, linux.debian.kernel
Subject	Bug#951543: Please enable SECO HDMI CEC driver
Date	2020-02-17 23:20 +0100
Message-ID	<zAWU9-4Ek-3@gated-at.bofh.it> (permalink)
Organization	linux.* mail to news gateway

Cross-posted to 2 groups.

Show all headers | View raw

Package: src:linux
Severity: wis hlist
Tags: patch

Dear Maintainer,

Could you please enable CONFIG_VIDEO_SECO_CEC ?
That device is found on x86 board from UDOO, it would be very cool
to not have to rebuild the kernel by hand :-)

Thanks.

Sébastien

--- a/config-5.4.13
+++ b/config-5.4.13
@@ -4797,6 +4797,7 @@
 # CONFIG_REGULATOR_TPS65132 is not set
 # CONFIG_REGULATOR_TPS6524X is not set
 CONFIG_CEC_CORE=y
+CONFIG_CEC_NOTIFIER=y
 CONFIG_RC_CORE=m
 CONFIG_RC_MAP=m
 CONFIG_LIRC=y
@@ -5122,7 +5123,9 @@
 # CONFIG_VIDEO_VIM2M is not set
 # CONFIG_VIDEO_VICODEC is not set
 # CONFIG_DVB_PLATFORM_DRIVERS is not set
-# CONFIG_CEC_PLATFORM_DRIVERS is not set
+CONFIG_CEC_PLATFORM_DRIVERS=y
+CONFIG_VIDEO_SECO_CEC=m
+CONFIG_VIDEO_SECO_RC=y
 # CONFIG_SDR_PLATFORM_DRIVERS is not set
 
 #

Back to linux.debian.kernel | Previous | Next — Next in thread | Find similar | Unroll thread

Thread

Bug#951543: Please enable SECO HDMI CEC driver Sébastien Noel <sebastien@twolife.be> - 2020-02-17 23:20 +0100
  Bug#951543: marked as done (Please enable SECO HDMI CEC driver) "Debian Bug Tracking System" <owner@bugs.debian.org> - 2020-04-17 05:10 +0200

csiph-web