hardkernel/linux — pull request #41 by claudiobsd (2014-03-04 00:27:25+00:00)
Title: Update hdmi_drv.c

Check the state of HDMI cable connection before enabling external IRQ.