Такие устройства есть, но они весьма недешевы - несколько сотен баксов. Устройство должно включать в себя ресивер HDMI, кодер потокового видео и ethernet-интерфейс.
www.datavideo.com/Encoders/NVS-20 со стоимостью порядка $800.
Не путать с парными устройствами, которые просто заворачивают HDMI-поток в проприетарный протокол и гонят его от передатчика к приемнику по сети, а у приемника на выходе - тоже HDMI-поток на разъеме.
muxlab.com/pro-digital/category/hdmi-over-ip/hdmi-... 
