Te falta comentar lo más importante, que es el modelo y marca de receptor.
En función de eso sabremos si tiene una o dos salidas hdmi, si escala video o no, y si necesitas splitter hdmi o no.