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 4.1 (release Date: 2015-06-21)  
DRM/KMS HDMI driver for Mediatek SoCs

source code: