Samsung S5P CEC driver

modulename: s5p-cec.ko

configname: CONFIG_CEC_SAMSUNG_S5P

Linux Kernel Configuration
└─>Device Drivers
└─>CEC support
└─>HDMI CEC drivers
└─>Samsung S5P CEC driver
In linux kernel since version 4.14.326 (release Date: 2023-09-23)  
This is a driver for Samsung S5P HDMI CEC interface. It uses the
generic CEC framework interface.
CEC bus is present in the HDMI connector and enables communication
between compatible devices.

source code: