Samsung S5P CEC driver

modulename: s5p-cec.ko

configname: CONFIG_VIDEO_SAMSUNG_S5P_CEC

Linux Kernel Configuration
└─>Device Drivers
└─>Multimedia support
└─>CEC platform devices
└─>Samsung S5P CEC driver
In linux kernel since version 4.1 (release Date: 2015-06-21)  
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:
drivers/media/platform//s5p-cec/