Resolution output for HDMI.
The current setting can be acquired by camera.getOptions, and it can be changed by camera.setOptions.