DRM HDMI Support for Mediatek SoCs

modulename: mediatek-drm-hdmi.ko

configname: CONFIG_DRM_MEDIATEK_HDMI

Linux Kernel Configuration
└─>Device Drivers
└─>Graphics support
└─>DRM HDMI Support for Mediatek SoCs
In linux kernel since version 3.10 (release Date: 2013-06-30)  
DRM/KMS HDMI driver for Mediatek SoCs

source code: