Mixer

configname: CONFIG_DRM_EXYNOS_MIXER

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


is selected by
CONFIG_DRM_EXYNOS_HDMI