Allwinner A10 HDMI Controller Support

modulename: sun4i-drm-hdmi.ko

configname: CONFIG_DRM_SUN4I_HDMI

Linux Kernel Configuration
└─>Device Drivers
└─>Graphics support
└─>Allwinner A10 HDMI Controller Support
In linux kernel since version 3.10 (release Date: 2013-06-30)  
Choose this option if you have an Allwinner SoC with an HDMI
controller.

source code: