Como o slhck diz que você provavelmente não encontrará um dispositivo autônomo (com preços razoáveis ou facilmente disponível) para fazer isso.
Você provavelmente poderia usar um PC com uma placa de captura HDMI como um desses e, em seguida, transmitir isso usando Windows Media Services (ou similares).