Generic GPIO-based CEC driver

modulename: cec-gpio.ko

configname: CONFIG_CEC_GPIO

Linux Kernel Configuration
└─>Device Drivers
└─>HDMI CEC drivers
└─>Generic GPIO-based CEC driver
In linux kernel since version 3.10 (release Date: 2013-06-30)  
This is a generic GPIO-based CEC driver.
The CEC bus is present in the HDMI connector and enables communication
between compatible devices.

source code: