STMicroelectronics STM32 HDMI CEC driver

modulename: stm32-cec.ko

configname: CONFIG_VIDEO_STM32_HDMI_CEC

Linux Kernel Configuration
└─>Device Drivers
└─>Multimedia support
└─>CEC platform devices
└─>STMicroelectronics STM32 HDMI CEC driver
In linux kernel since version 4.2 (release Date: 2015-08-30)  
This is a driver for STM32 interface. It uses the
generic CEC framework interface.
CEC bus is present in the HDMI connector and enables communication
between compatible devices.

source code: