Hi, I'm new to nokia developing. I am wanting to know how to use the HDMI port and control the output resolution and refresh rate. Thanks for any help!