HDMI Video Output
For using HDMI for video output the xrandr tool can be used.
Quering devices:
xrandr -q
Setting auto mode:
xrandr --auto
Disabling notebook display:
xrandr --output LVDS --off
Using HDMI output device with specific mode:
xrandr --output HDMI1 --mode 1920x1080