Cuidado, que hasta lo que tengo entendido, no todas las tarjetas de video permiten sacar señal HDMI (una señal digital) a partir de la señal de video del puerto VGA (señal análoga).
Ante la duda, recomendaría un adaptador/interfaz dew video USB-HDMI.
Si querías hacer consultas, deberías hacer...