Mixer

configname: CONFIG_DRM_EXYNOS_MIXER

Linux Kernel Configuration
└─>Device Drivers
└─>Graphics support
└─>Mixer
In linux kernel since version 3.10 (release Date: 2013-06-30)  
Choose this option if you want to use Exynos Mixer for DRM.


is selected by
CONFIG_DRM_EXYNOS_HDMI