How to get the display settings right on Raspberry Pi

http://www.opentechguides.com/how-to/article/raspberry-pi/28/raspi-display-setting.html

libcec

http://elinux.org/CEC_(Consumer_Electronics_Control)_over_HDMI