HDMI support

configname: CONFIG_OMAP4_DSS_HDMI

Linux Kernel Configuration
└─>Device Drivers
└─>Graphics support
└─>OMAP2+ Display Subsystem support
└─>HDMI support
In linux kernel since version 2.6.39 (release Date: 2011-05-18)  
HDMI Interface. This adds the High Definition Multimedia Interface.
See http://www.hdmi.org/ for HDMI specification.