Power-cycle the board. A test screen with the panel info and "No HDMI signal" message should appear. If it doesn't... well, something's wrong. Otherwise, connect the HDMI input. If everything is OK, the PC should detect the display resolution and automatically...