[PATCH 3/7] ARM: exynos_defconfig: enable Exynos DRM Mixer driver

[Krzysztof Kozlowski]

On 10/26/2015 01:03 PM, Andrzej Hajda wrote:
> Mixer driver is selected by CONFIG_DRM_EXYNOS_HDMI option. Since Exynos5433
> HDMI does not require Mixer. There will be separate options to select Mixer
> and HDMI. Adding new option to defconfig before Kconfig will allow to keep
> bisectability.
> 
> Signed-off-by: Andrzej Hajda <a.hajda at samsung.com>
> ---
>  arch/arm/configs/exynos_defconfig | 1 +
>  1 file changed, 1 insertion(+)

Thanks, applied.

Krzysztof