Você talvez esteja procurando os seguintes tópicos:

• Alterando a resolução (tamanho) da imagem na tela de um dispositivo conectado por HDMI
• Conectando uma TV a uma porta de entrada HDMI